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
5 @c All text is ignored before the setfilename.
9 +@include version2.texi
10 @settitle Texinfo @value{VERSION}
12 @c Define a new index for options.