--- texinfo-4.11/doc/Makefile.am.orig	2007-07-03 00:07:04.000000000 +0200
+++ texinfo-4.11/doc/Makefile.am	2007-11-01 02:06:25.029356913 +0100
@@ -15,6 +15,7 @@
 DISTCLEANFILES = texinfo texinfo-* info*.info*
 
 man_MANS = info.1 infokey.1 install-info.1 makeinfo.1 texindex.1 texi2dvi.1 \
+	   texi2pdf.1 pdftexi2dvi.1 \
            info.5 texinfo.5
 
 # Use the programs built in our distribution, taking account of possible