- obsolete

Changed files:
    texinfo-man.patch -> 1.2

diff --git a/texinfo-man.patch b/texinfo-man.patch
deleted file mode 100644 (file)
index 48052dd..0000000
--- a/texinfo-man.patch
+++ /dev/null
@@ -1,10 +0,0 @@
---- 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