Why this change in manual/libc.texinfo?

[Andreas Schwab]

Hi H.J.,

|> You made this change to manual/libc.texinfo:

It is required for makeinfo --html.

|> 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.

I have texinfo 3.12f.

Andreas.

-- 
Andreas Schwab                                      "And now for something
schwab@issan.cs.uni-dortmund.de                      completely different"
schwab@gnu.org