* lib/texinfo.tex: New version from Texinfo 4.2b.
authorAlexandre Duret-Lutz <adl@gnu.org>
Wed, 16 Oct 2002 18:03:42 +0000 (18:03 +0000)
committerAlexandre Duret-Lutz <adl@gnu.org>
Wed, 16 Oct 2002 18:03:42 +0000 (18:03 +0000)
commit54089948d4388edd656d7cf13b6d4d2d9d0702ed
tree13ed3118927e38e7b4a9bbc91989b928ee44e180
parentdd3359863729803d2167c04271968be3c8627293
* lib/texinfo.tex: New version from Texinfo 4.2b.
ChangeLog
lib/texinfo.tex