From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28187 invoked by alias); 14 Jan 2009 11:31:31 -0000 Received: (qmail 28176 invoked by uid 22791); 14 Jan 2009 11:31:29 -0000 X-SWARE-Spam-Status: No, hits=-2.3 required=5.0 tests=AWL,BAYES_00,SPF_PASS X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.4) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 14 Jan 2009 11:30:53 +0000 Received: (qmail 13765 invoked from network); 14 Jan 2009 11:30:51 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 14 Jan 2009 11:30:51 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.68) (envelope-from ) id 1LN3xS-0002f7-Mo; Wed, 14 Jan 2009 11:30:50 +0000 Date: Wed, 14 Jan 2009 11:31:00 -0000 From: "Joseph S. Myers" To: Eli Zaretskii cc: gdb-patches@sourceware.org Subject: Re: Doc fixes for makeinfo --html In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2009-01/txt/msg00308.txt.bz2 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 .html > clashes with another .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 (we build all tools for all hosts on GNU/Linux build systems). 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. -- Joseph S. Myers joseph@codesourcery.com