- outdated.

Changed files:
    texinfo-version.texi.patch -> 1.2

diff --git a/texinfo-version.texi.patch b/texinfo-version.texi.patch
deleted file mode 100644 (file)
index b6da31a..0000000
--- a/texinfo-version.texi.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-diff -ur texinfo-3.12h.old/doc/texinfo.txi texinfo-3.12h/doc/texinfo.txi
---- texinfo-3.12h.old/doc/texinfo.txi  Thu Jul  1 12:35:35 1999
-+++ texinfo-3.12h/doc/texinfo.txi      Thu Jul  1 12:39:20 1999
-@@ -5,7 +5,7 @@
- @c All text is ignored before the setfilename.
- @setfilename texinfo
- 
--@include version.texi
-+@include version2.texi
- @settitle Texinfo @value{VERSION}
- 
- @c Define a new index for options.