From: Manoj Srivastava Date: Thu, 16 Jun 2005 05:35:04 +0000 (+0000) Subject: there is no id in a footnote? X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=fdc0570435af51140b421f7d3d6cfc57d3cd4477;p=debian%2Fdebian-policy.git there is no id in a footnote? Author: srivasta Date: 2002/11/15 06:49:40 there is no id in a footnote? git-archimport-id: srivasta@debian.org--etch/debian-policy--devel--3.0--patch-157 --- diff --git a/policy.sgml b/policy.sgml index e795e6b..034a09e 100644 --- a/policy.sgml +++ b/policy.sgml @@ -7584,7 +7584,7 @@ install-info --quiet --remove /usr/share/info/foobar.info

Packages must not require the existance of any files in /usr/share/doc/ in order to function - +

The system administrator should be able to delete files in /usr/share/doc/ without causing