From fdc0570435af51140b421f7d3d6cfc57d3cd4477 Mon Sep 17 00:00:00 2001 From: Manoj Srivastava Date: Thu, 16 Jun 2005 05:35:04 +0000 Subject: [PATCH] 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 --- policy.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2