help-gnats
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Need "usertool" target for make


From: Yngve Svendsen
Subject: Re: Need "usertool" target for make
Date: Sun, 17 Jun 2001 21:32:29 +0200

At 14:35 17.06.2001 +0200, Milan Zamazal wrote:
There used to be the configure option `--with-full-gnats' but that was
removed.  However, gnats/Makefile.in still contains the *-gnats and
*-tools targets serving exactly that purpose.  They only don't seem to
be propagated to the top-level Makefile.

BTW, the top-level Makefile looks like a horrible mess.  It's three
times larger than the Emacs one and it seems to be more general than
needed, I don't like it.  Unless anyone objects, I'll clean it up,
together with moving the documentation to a separate directory.

Excellent idea. I won't do any checkins on the manual for a few days now, so just go ahead.

- Yngve


reply via email to

[Prev in Thread] Current Thread [Next in Thread]