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

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).

- Raw text -