From: Thomas Weber <tweber@debian.org>
Subject: Ensure the PDF documentation is built at build time

I asked upstream whether the non-building of the documentation is intentional:
https://sourceforge.net/mailarchive/forum.php?thread_name=20110423150042.GA24989%40atlan&forum_name=octave-dev
Origin: Debian
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,6 +12,7 @@
 MKTEXI = ../../../admin/mktexi
 MAKEINFO = makeinfo --no-split --document-language=en_us
 TEXI2DVI = texi2dvi --clean
+TEXI2PDF = texi2pdf --clean
 DVIPS = dvips
 LN_S = ln -s
 endif
