Sync to ftp.gnu.org version of 1999-07-06.
commitff972363ab518181b014bdb7014e8d3ff7257a83
authoreggert <eggert>
Tue, 13 Jul 1999 04:50:09 +0000 (13 04:50 +0000)
committereggert <eggert>
Tue, 13 Jul 1999 04:50:09 +0000 (13 04:50 +0000)
treee92dc524682fa125a2bee946cb2d66dd55c2745e
parent1ead70b919b44a2846e0bc6afe47079370a27fc1
Sync to ftp.gnu.org version of 1999-07-06.
texinfo.tex