Date: Wed, 5 Feb 2003 08:37:05 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: djgpp-workers AT delorie DOT com
Subject: Re: info/dir creation patch
In-Reply-To: <10302042008.AA21143@clio.rice.edu>
Message-ID: <Pine.SUN.3.91.1030205083149.15128J@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com
Errors-To: nobody AT delorie DOT com
X-Mailing-List: djgpp-workers AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk


On Tue, 4 Feb 2003, Charles Sandmann wrote:

> $(INFO)/dir : $(INFO)/dir.txi
>         makeinfo --no-split -o $(INFO)/dir $(INFO)/dir.txi

Alternatively, don't maintain dir.txi at all, but instead generate 
info/dir directly by running install-info on all the Info files.

I'm not sure what's better: we had a discussion a few months ago where 
the conclusion was we want to have a specific order of menu items in 
info/dir, which is hard to achieve with install-info.

This reminds me: I think we should make sure our *.texi/*.tex/*.txi 
source files have proper @dircategory and @direntry directives in them, 
even if we don't use install-info (because some user could wish to do 
that).