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