Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 19 Jul 2000 16:43:39 +0000
From:      Nik Clayton <nik@freebsd.org>
To:        Ben Smithurst <ben@FreeBSD.org>
Cc:        Udo Erdelhoff <ue@nathan.ruhr.de>, freebsd-doc@FreeBSD.ORG
Subject:   Re: docs/19997: [PATCH] Addition of info about debug kernels to the FAQ
Message-ID:  <20000719164339.C15764@kilt.nothing-going-on.org>
In-Reply-To: <20000719001515.S4668@strontium.scientia.demon.co.uk>; from ben@FreeBSD.org on Wed, Jul 19, 2000 at 12:15:15AM %2B0100
References:  <200007181250.FAA88127@freefall.freebsd.org> <20000718145850.A18498@cichlids.cichlids.com> <20000718140525.P4668@strontium.scientia.demon.co.uk> <20000718165725.L32297@nathan.ruhr.de> <20000718165342.Z4668@strontium.scientia.demon.co.uk> <20000718205446.P32297@nathan.ruhr.de> <20000718205003.L4668@strontium.scientia.demon.co.uk> <20000719004725.S32297@nathan.ruhr.de> <20000719001515.S4668@strontium.scientia.demon.co.uk>

next in thread | previous in thread | raw e-mail | index | archive | help
On Wed, Jul 19, 2000 at 12:15:15AM +0100, Ben Smithurst wrote:
> Hmm, might it be useful to create a doc/tools directory to commit
> scripts like this to?  No doubt the indenting will get messed up by lazy
> committers like me, so it would be useful to have such a script around.
> There's already /usr/ports/Tools, /usr/src/tools, let's not be left out.
> :-)

I know POLA and all that, but doc/share/tools/ ?

N
-- 
Internet connection, $19.95 a month.  Computer, $799.95.  Modem, $149.95.
Telephone line, $24.95 a month.  Software, free.  USENET transmission,
hundreds if not thousands of dollars.  Thinking before posting, priceless.
Somethings in life you can't buy.  For everything else, there's MasterCard.
  -- Graham Reed, in the Scary Devil Monastery


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-doc" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20000719164339.C15764>