texinfo-man.patch

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