On Tue, Jan 03, 2006 at 10:22:20AM -0600, Bill Gatliff wrote: > >* promote DEBUILD_OPTIONS=nodocs flag for not building docs
> Stupid question, but it be more appropriate to promote separate *-doc > packages instead? The idea of nodocs is to ease bootstrapping, not to make packages smaller. Making installed packages smaller can be done with apt-get Post-Invoke hook script, which get's run after apt-get has invoked dpkg. See man:apt.conf for details. Separate -doc packages are only sensible when there is lots of documentation. However, even a simple man page might be created with docbook-to-man, or xmltoman. For those cases, we want a standard flag to skip those phases. Documenting what dependencies are irrelevant then is another question we need to find out howto do.. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
