From mboxrd@z Thu Jan  1 00:00:00 1970
From: Yngve Svendsen <yngve.svendsen@clustra.com>
To: Milan Zamazal <pdm@zamazal.org>
Cc: gnats-devel@sources.redhat.com
Subject: Re: Need "usertool" target for make
Date: Sun, 17 Jun 2001 12:30:00 -0000
Message-id: <5.1.0.14.2.20010617213137.05713b30@10.10.1.1>
References: <5.0.0.25.2.20010613163931.00bcae20@mail.trd.clustra.com> <87hexfwafv.fsf@blackbird.zamazal.org>
X-SW-Source: 2001-q2/msg00184.html

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