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 /usr/share/zoneinfo/* /usr/share/doc /usr/share/man /usr/X11/man /usr/share/info /var/lib/apt/lists/*Packages /var/lib/apt/lists/*Release 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. Craig poldek's ignore and exclude options might simply be passed to rpm, I don't know. > > -- ------------------------------------------------------------ Dr. Craig Hollabaugh, [EMAIL PROTECTED], 970 325 0509 Author of Embedded Linux: Hardware, Software and Interfacing www.embeddedlinuxinterfacing.com -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
