gcc.texi does not compile

[Martin v. Loewis]

It seems that your change

Fri Apr 28 16:30:33 2000  Marc Espie <espie@cvs.openbsd.org>

	* gcc.texi: Fixes for makeinfo 4.0 --html.

broke compilation of gcc.texi with the included texinfo. I get

Making info file `gcc.info' from `/usr/src/egcs/gcc/gcc.texi'.
/usr/src/egcs/gcc/gcc.texi:187: No matching `@end ifnottex'.
/usr/src/egcs/gcc/gcc.texi:212: Unmatched `@end'.
makeinfo: Removing output file `gcc.info' due to errors; use --force to preserve.

makeinfo --version says
makeinfo (GNU texinfo 3.12) 1.68
Copyright (C) 1998 Free Software Foundation, Inc.
There is NO warranty.  You may redistribute this software
under the terms of the GNU General Public License.
For more information about these matters, see the files named COPYING.

Regards,
Martin