delorie.com/archives/browse.cgi | search |
Date: | Sun, 23 Feb 2003 21:07:27 +0200 |
From: | "Eli Zaretskii" <eliz AT is DOT elta DOT co DOT il> |
Sender: | halo1 AT zahav DOT net DOT il |
To: | djgpp-workers AT delorie DOT com |
Message-Id: | <6137-Sun23Feb2003210727+0200-eliz@is.elta.co.il> |
X-Mailer: | emacs 21.3.50 (via feedmail 8 I) and Blat ver 1.8.9 |
In-reply-to: | <200302231735.h1NHZ9006363@speedy.ludd.luth.se> |
(ams AT ludd DOT luth DOT se) | |
Subject: | Re: Moving djasm |
References: | <200302231735 DOT h1NHZ9006363 AT speedy DOT ludd DOT luth DOT se> |
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 |
> From: <ams AT ludd DOT luth DOT se> > Date: Sun, 23 Feb 2003 18:35:09 +0100 (CET) > > According to Eli Zaretskii: > > Shouldn't we say %.info instead of %.inf? > > > > > (Isn't .tex an incorrect extension?) > > > > I'd prefer if we used *.txi. > > So you want this: > > Index: djgpp/src/makefile.inc > =================================================================== > RCS file: /cvs/djgpp/djgpp/src/makefile.inc,v > retrieving revision 1.8 > diff -p -u -r1.8 makefile.inc > --- djgpp/src/makefile.inc 2 Dec 2001 11:58:03 -0000 1.8 > +++ djgpp/src/makefile.inc 23 Feb 2003 17:31:15 -0000 > @@ -139,7 +139,10 @@ NOP = @$(MISC) > > .PRECIOUS: %.exe %.out %.err > > -$(INFO)/%.inf : %.tex > +$(INFO)/%.info : %.tex > + makeinfo --no-split $< > + > +$(INFO)/%.info : %.txi > makeinfo --no-split $< > > $(BIN)/%.exe : $C %.o $L > > ? Yes. Thanks.
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |