This is the mail archive of the gdb-patches@sourceware.org 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 19:28, Eli Zaretskii <eliz@gnu.org> wrote:
>> 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?

Not without rewriting the HTML versions as each have their own head and body.

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

It's not what the author asked for and confuses the reader by
increasing the clutter.  The Top node introduces the user to the
documentation and should be minimal.

There's no way of doing this in makeinfo 4.13b on a case insensitive
filesystem.  If we need to patch makeinfo then I'd rather have one
file per node.

-- Michael


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