From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15525 invoked by alias); 17 Jun 2012 23:18:31 -0000 Received: (qmail 15516 invoked by uid 22791); 17 Jun 2012 23:18:30 -0000 X-SWARE-Spam-Status: No, hits=-3.1 required=5.0 tests=AWL,BAYES_00,KHOP_RCVD_UNTRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE X-Spam-Check-By: sourceware.org Received: from mail-wg0-f43.google.com (HELO mail-wg0-f43.google.com) (74.125.82.43) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sun, 17 Jun 2012 23:18:16 +0000 Received: by wgbdr1 with SMTP id dr1so3765756wgb.12 for ; Sun, 17 Jun 2012 16:18:15 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding:x-gm-message-state; bh=fC3ayyW8D5nYMssWjeRQMlx7JxE4PIXlD7HQIH3TmiY=; b=lL30FErckrs01xT3X9TTP0ongD3FCuSnphERfzFwSD+7CRhiKUgi25pJ+52bHh0aIX JtcXwP4mMF2QK1v8qHv8llgszNky8/CCRbeb7bqEzltVcYycNVM88cCeQ7Sqe/bJfHfF YxxfJ22sj7QB5nyeYnPJWyls8XS8cQvzxccz2I2mFb0j1aW1azphkE6lJ2Re0tEW1bMT o8i+D9XOskGoRxETdKdHTgQ2o9Q9+3uxt0aWg9W/rUH7rE++2OLaCXVEz8iEwVAPu52y CBo7lXDbW6Ywhjcm41K+HUxhNwK3cygD5M7R8JCok0rrPwfNQLdBG/VsOvjocbrmz0qk oaug== Received: by 10.180.8.69 with SMTP id p5mr19487535wia.17.1339975095038; Sun, 17 Jun 2012 16:18:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.180.87.225 with HTTP; Sun, 17 Jun 2012 16:17:54 -0700 (PDT) In-Reply-To: <83vcitf2z3.fsf@gnu.org> References: <4FD94EC0.1000009@linaro.org> <83ehphyhdn.fsf@gnu.org> <83vcitf2z3.fsf@gnu.org> From: Michael Hope Date: Sun, 17 Jun 2012 23:18:00 -0000 Message-ID: Subject: Re: [PATCH, doc]: Rename Index node to prevent file collision To: Eli Zaretskii Cc: joseph@codesourcery.com, gdb-patches@sourceware.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Gm-Message-State: ALoCoQktfaxHor8uXRcLqCzQExo8iBfCzE2YwkSdWUvY0mLkckBVUVoxVYZHlHpzNVZ365V+ZwJ/ X-IsSubscribed: yes 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: 2012-06/txt/msg00561.txt.bz2 On 15 June 2012 19:28, Eli Zaretskii wrote: >> From: Michael Hope >> Date: Fri, 15 Jun 2012 09:43:21 +1200 >> Cc: "Joseph S. Myers" , 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. =A0We supply pre-built toolchains for Linux and Windows[1]. =A0The >> build is crtosstool-NG based, runs on Ubuntu Lucid, and uses the LSB >> compilers for Linux and the mingw cross compilers for Windows. =A0We >> 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 bod= y. >> 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. =A0Why 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