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

Re: Embeddded Debian meetup @ Extremadura

On Tue, 2006-01-03 at 20:34 +0100, Bernhard Fischer wrote:
> I second this, fwiw. Ideally, we may want to have a nodoc and also
> something like noman as separate options. Then we would be able to
> either build packages which offer docs (and or manpages) or not
> and could also allow for installing only manpages (without
> other "docs" or vice versa) or no docs and no manpages at all.
> For the most part there is not much point in most of /usr/share/*

A more generalized (ignore or exclude) option is better suited for
ditching things like


poldek's (RPM based package management tools) ignore and exclude options
work great. Has anyone looked at poldek's approach and options. No need
to reinvent the wheel with nodoc, noman, nozone, etc. 

poldek's ignore and exclude options might simply be passed to rpm, I
don't know.

Dr. Craig Hollabaugh, craig@hollabaugh.com, 970 325 0509
Author of Embedded Linux: Hardware, Software and Interfacing

Reply to: