Jed: Policy violation section 12.3

Rafael Laboissiere rafael at debian.org
Wed Sep 5 21:03:25 UTC 2007


* Jörg Sommer <joerg at alea.gnuu.de> [2007-09-05 15:13]:

> Hi,
> 
> I propose the following patch, because policy section 12.3 says:
> 
> ,----------
> |12.3. Additional documentation
> |------------------------------
> |[…]
> |     Packages must not require the existence of any files in
> |     `/usr/share/doc/' in order to function [1].  Any files that are
> |     referenced by programs but are also useful as stand alone
> |     documentation should be installed under `/usr/share/<package>/' with
> |     symbolic links from `/usr/share/doc/<package>'.
> |[…]
> |
> |[1]  The system administrator should be able to delete files in
> |     `/usr/share/doc/' without causing any programs to break.
> `----------
> 
> A definition for break is not given, but I think we should move the help
> files (menu Help->Browse Docs) back to /usr/share/jed/doc.
> 
> [snip]

Agreed.  Please, commit the patch.
 
-- 
Rafael



More information about the Pkg-jed-devel mailing list