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

Re: Documentation Policy



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.

For Deity, I suppose we could make pattern-matching work in the policy file.

	Thanks

	Bruce
-- 
Bruce Perens K6BP   bruce@pixar.com   510-215-3502
Finger bruce@master.debian.org for PGP public key.
PGP fingerprint = 88 6A 15 D0 65 D4 A3 A6  1F 89 6A 76 95 24 87 B3 


--
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: