This is the mail archive of the mailing list for the GDB project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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

On 15 June 2012 04:42, Eli Zaretskii <> wrote:
>> Date: Thu, 14 Jun 2012 15:06:30 +0000 (UTC)
>> From: "Joseph S. Myers" <>
>> cc:
>> On Thu, 14 Jun 2012, Michael Hope wrote:
>> > Hi there. ?This patch renames the 'Index' node in the GDB end user
>> > documentation to 'GDB Index'
>> > to prevent generating HTML filenames that differ only in case.
>> This was rejected when I submitted it
>> <>.
> Right, and I still would like very much to follow GNU practice in this
> matter.
> 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.

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.""".  I don't think
that's valid here as the index is a special case: we shouldn't merge
the top level index.html with the output of a node called Index.

-- Michael

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]