texinfo-version.texi.patch

   1 diff -ur texinfo-3.12h.old/doc/texinfo.txi texinfo-3.12h/doc/texinfo.txi
   2 --- texinfo-3.12h.old/doc/texinfo.txi   Thu Jul  1 12:35:35 1999
   3 +++ texinfo-3.12h/doc/texinfo.txi       Thu Jul  1 12:39:20 1999
   4 @@ -5,7 +5,7 @@
   5  @c All text is ignored before the setfilename.
   6  @setfilename texinfo
   7
   8 -@include version.texi
   9 +@include version2.texi
  10  @settitle Texinfo @value{VERSION}
  11
  12  @c Define a new index for options.