On Wed, 13 Oct 1999 12:04:56 +0200, Brad Knowles wrote:
> If I may make a suggestion then? If doc/ needs a particular
> tool, then that tool should be moved from the ports subsystem to the
> main source tree.
That's a silly idea.
If you want tools distributed with the sources which they support, you
should incorporate the tools into the doc/ tree. But then you'd still
need non-doc tools to build _those_.
It's just a silly idea. :-)
Ciao,
Sheldon.
To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-stable" in the body of the message
