Re: [PATCH, doc]: Rename Index node to prevent file collision

Eli Zaretskii
2012-06-15T07:29:44Z

> From: Michael Hope <michael.hope@linaro.org>
> Date: Fri, 15 Jun 2012 09:43:21 +1200
> Cc: "Joseph S. Myers" <joseph@codesourcery.com>, gdb-patches@sourceware.org
>
> > Michael, is your setup also that you produce the HTML files on a Posix
> > host, but then deploy them on Windows?
>
> Yip. We supply pre-built toolchains for Linux and Windows[1]. The
> build is crtosstool-NG based, runs on Ubuntu Lucid, and uses the LSB
> compilers for Linux and the mingw cross compilers for Windows. We
> cross-make the manuals the same as we cross-build the compiler.

Can you simply concatenate the two [iI]ndex.html files into the same
file?

> The makeinfo manual says: """If makeinfo is run on a system which does
> not distinguish case in filenames, nodes which are the same except for
> case will also be folded into the same output file.""".

What that means is that the file index.html should have 2 nodes on it,
each with its own label, so HTML references work correctly. Why is
this a problem?