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

Re: Documentation Policy



-----BEGIN PGP SIGNED MESSAGE-----

On Tue, 24 Jun 1997, Bruce Perens wrote:
> From: Clint Adams <schizo@simons-rock.edu>
> > What if one wants to exclude only HTML documentation?
> 
> Well, for now
>    "find /usr/doc -name '*.html' -o -name '*.html.gz' -exec rm -f \{\} \;
> Should work OK. I typed that from memory, so make sure it's right before
> you run it.

That, of course, assumes that you want to remove all HTML documentation.
I have no problem when HTML is the provided upstream documentation source,
and don't want to cripple my ability to read that.  However, when the
upstream source is something else, such as info/texinfo, I don't want HTML
as well.

- -- 
                            |    The mark of your ignorance is the depth of
       Scott K. Ellis       |       your belief in injustice and tragedy.
http://www.gate.net/~storm/ | What the caterpillar calls the end of the world,
       storm@gate.net       |           the master calls a butterfly.
                            |                   -- Illusions

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv

iQCVAwUBM7AsNKCk2fENdzpVAQHUCwQAhJD4+j1tIhAP33oYnA7vemj2JjpxmV9j
01ClMmDDU5TXmoEYNvrmCJhScTIsUgx9X5aInQ6zBwVDX6jFTA74ol1jiFpOSMFX
Ds4zmJfctijRUI+PswxIRvi6Pmf0oLLi2njUubq2nAB1p3V87XAA0V8eFr6hNPDv
cUQDoT83DG0=
=N+ed
-----END PGP SIGNATURE-----


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .


Reply to: