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