Package: debian-policy The intent of the last paragraph in section 13.3 is that you should be able to delete /usr/share/doc safely, but that's not quite what it says. need to install the instructions for building and installing the package, of course! - Files in `/usr/share/doc' should not be referenced by any program, and - the system administrator should be able to delete them without causing - any programs to break. Any files that are referenced by programs but - are also useful as standalone documentation should be installed under + The system administrator should be able to delete files in + `/usr/share/doc' without causing any programs to break. A package + should not directly reference files that it places there. Any + files that are referenced by programs but are also useful as + standalone documentation should be installed under `/usr/share/<package>/' with symbolic links from `/usr/share/doc/<package>/'. (For those of you playing along at home, think about what happens when the package is a documentation browser). -- .''`. ** Debian GNU/Linux ** | Andrew Suffield : :' : http://www.debian.org/ | Dept. of Computing, `. `' | Imperial College, `- -><- | London, UK
Attachment:
pgpUWUoBvQbLA.pgp
Description: PGP signature