From 34d2c423a9953a54abad4dbacaf0e34d0791717e Mon Sep 17 00:00:00 2001 From: Jakub Bogusz Date: Thu, 1 Nov 2007 01:16:06 +0000 Subject: [PATCH] - missing manuals Changed files: texinfo-man.patch -> 1.1 --- texinfo-man.patch | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 texinfo-man.patch diff --git a/texinfo-man.patch b/texinfo-man.patch new file mode 100644 index 0000000..48052dd --- /dev/null +++ b/texinfo-man.patch @@ -0,0 +1,10 @@ +--- 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 -- 2.43.0