Commit 54089948d4388edd656d7cf13b6d4d2d9d0702ed

Alexandre Duret-Lutz 2002-10-16T18:03:42

* lib/texinfo.tex: New version from Texinfo 4.2b.