On Thu, 11 Jun 1998, Russell Coker - mailing lists account wrote:
> Martin Mitchell <[EMAIL PROTECTED]> said: > > >Shaleh <[EMAIL PROTECTED]> writes: > > >> Is there anyway there could be a variable set that says "do not install > >> /usr/doc files"? This way those who do not want the docs can go on w/o > >> them. > > >And /usr/doc/<pkg>/copyright? We still need that for every file, as part of > >policy. > > It shouldn't be that difficult to install *copyright* but not any other > files in that directory. If the aim is to have all the copyright files on > every system then some option to skip all the other doco would achieve this by > not making it worth-while to do "rm -rf /usr/doc/*" after package > installation. > > Also it would be good to be able to skip man pages, many machines just don't > need them. Whilst I understand what you're getting at, any such options should be emphatically non-default. One thing I really like about Debian is the fact that packages are in general well documented, with the documentation to hand. One thing worth thinknig about, IMHO, is a bit more support for shared file systems. A shared /usr/doc and /usr/man would presumably remove your main objection, disk space, whilst making sure that docs are always there... Jules -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
