Date:	Wed, 5 Feb 2003 08:45:32 +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:	<Pine.SUN.3.91.1030205083149.15128J@is>
Message-ID:	<Pine.SUN.3.91.1030205084437.15128L-100000@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 Wed, 5 Feb 2003, Eli Zaretskii wrote:

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

Sorry, just ignore that.  We cannot do this because most Info files 
mentioned in dir aren't part of djdev*.zip, and so are not present in the 
tree where you normally build djdev.

- Raw text -