Re: Doc fixes for makeinfo --html

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 14 Jan 2009 02:51:01 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> 
> This patch fixes various problems arising using the GDB manuals with
> makeinfo --html.

Thanks.

> * To work on case-insensitive filesystems with makeinfo splitting by
>   node, the index should not be called "Index" as this clashes with
>   the automatically generated index.html.

In what version of makeinfo did you see this problem, and on what OS
and which port?  Because it was solved long ago: when some <node>.html
clashes with another <node>.html, makeinfo should resolve the clash
automatically.

> Fixed in the same way as
> <http://sourceware.org/ml/binutils/2006-05/msg00215.html>.

Sorry, but I don't like this fix.  Index nodes follow certain
guidelines in GNU packages, and I don't want to change that just like
that.  If there's a bug in makeinfo, I prefer to solve it there.

> Tested building info/HTML/PDF (HTML with both makeinfo --html and
> texi2html).  OK to commit?

Yes, but without the Index node renaming.

Thanks.

> 2009-01-14  Joseph Myers  <joseph@codesourcery.com>
>             Carlos O'Donell  <carlos@codesourcery.com>
> 
> 	* annotate.texinfo: Use @copying and @insertcopying.  Use
> 	@ifnottex in place of @ifinfo.
> 	* gdb.texinfo: Use @copying and @insertcopying.  Use @ifnottex in
> 	place of @ifinfo.  Use @ifnotinfo for one index entry.
> 	(Index): Rename to GDB Index.
> 	* gdbint.texinfo: Use @copying and @insertcopying.  Use @ifnottex
> 	in place of @ifinfo.
> 	(Index): Rename to GDB Internals Index.
> 	* stabs.texinfo: Use @copying and @insertcopying.  Use @ifnottex
> 	in place of @ifinfo.  Include contents at start unconditionally.

Please add a line before the actual logs that explains the purpose of
these changes.