Why this change in manual/libc.texinfo?

[H.J. Lu]

Hi, Andreas,

You made this change to manual/libc.texinfo:

1999-02-25  Andreas Schwab  <schwab@issan.cs.uni-dortmund.de>

	* manual/libc.texinfo: Wrap @top node inside @ifnottex instead of
	@ifinfo.

which breaks "make install":

# make install
....
LANGUAGE=C LC_ALL=C makeinfo libc.texinfo
libc.texinfo:104: No matching `@end ifnottex'.
libc.texinfo:110: Unmatched `@end'.
makeinfo: Removing output file `/local/work/gnu/src/glibc/manual/libc.info' due to errors; use --force to preserve.

Did you have a different "makeinfo"? I have the one from texinfo 3.12.
If you take a look at the source code, discard_insertions () in
makeinfo.c. It allows "node" in "ifinfo", but not "ifnottex". Did
you patch your makeinfo to support "ifnottex"? I think we should
back out this change.

Thanks.


-- 
H.J. Lu (hjl@gnu.org)