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
pgpiwQ7fyg09r.pgp
Description: PGP signature
