From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-61156-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 9924 invoked by alias); 14 Jan 2009 19:22:56 -0000
Received: (qmail 9915 invoked by uid 22791); 14 Jan 2009 19:22:56 -0000
X-SWARE-Spam-Status: No, hits=-1.0 required=5.0 	tests=AWL,BAYES_00,SPF_SOFTFAIL
X-Spam-Check-By: sourceware.org
Received: from mtaout2.012.net.il (HELO mtaout2.012.net.il) (84.95.2.4)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 14 Jan 2009 19:22:15 +0000
Received: from conversion-daemon.i_mtaout2.012.net.il by i_mtaout2.012.net.il (HyperSendmail v2004.12) id <0KDH000007004000@i_mtaout2.012.net.il> for gdb-patches@sourceware.org; Wed, 14 Jan 2009 21:22:22 +0200 (IST)
Received: from HOME-C4E4A596F7 ([77.127.133.113]) by i_mtaout2.012.net.il (HyperSendmail v2004.12) with ESMTPA id <0KDH006JX759W660@i_mtaout2.012.net.il>; Wed, 14 Jan 2009 21:22:22 +0200 (IST)
Date: Wed, 14 Jan 2009 19:22:00 -0000
From: Eli Zaretskii <eliz@gnu.org>
Subject: Re: Doc fixes for makeinfo --html
In-reply-to: <Pine.LNX.4.64.0901141121250.9454@digraph.polyomino.org.uk>
To: "Joseph S. Myers" <joseph@codesourcery.com>
Cc: gdb-patches@sourceware.org
Reply-to: Eli Zaretskii <eliz@gnu.org>
Message-id: <uk58xwv4s.fsf@gnu.org>
References: <Pine.LNX.4.64.0901140249410.24967@digraph.polyomino.org.uk> <uk58ybjmr.fsf@gnu.org> <Pine.LNX.4.64.0901141121250.9454@digraph.polyomino.org.uk>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2009-01/txt/msg00326.txt.bz2

> Date: Wed, 14 Jan 2009 11:30:50 +0000 (UTC)
> From: "Joseph S. Myers" <joseph@codesourcery.com>
> cc: gdb-patches@sourceware.org
> 
> On Wed, 14 Jan 2009, Eli Zaretskii wrote:
> 
> > > * 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.
> 
> Various versions of makeinfo up to 4.12.  The problem is building GDB on 
> i686-pc-linux-gnu (build system) with --host=i686-mingw32; I have not 
> tried any version of makeinfo running directly on the case-insensitive 
> systems

That might explain it: I think the feature I was talking about only
works on DOS and Windows, where the problem happens.

> There is no way to pass the expected host to makeinfo, and since 
> documentation goes in a "share" directory the files generated should not 
> depend at all on the host in any case; it would be a bug for the files in 
> the share directory to differ for different --host configurations.

That's quite an unusual setup for producing Info files; I'm not sure
GDB should make changes in the manual to cater to it.

My suggestion would be to add an option to makeinfo to enable the
feature on any platform, or maybe run makeinfo on Windows to produce
these files.