The following commit has been merged in the master branch:
commit d2bda16c93c7b619ee593ae3908ca579b8600c50
Author: Russ Allbery <[EMAIL PROTECTED]>
Date: Thu Jun 26 10:53:48 2008 -0700
Lower info-documents-not-removed to warning
Unregistering info documents is a Policy should, not must.
diff --git a/checks/infofiles.desc b/checks/infofiles.desc
index 68b2740..8b2ba13 100644
--- a/checks/infofiles.desc
+++ b/checks/infofiles.desc
@@ -66,7 +66,7 @@ Info: The package installation scripts should avoid producing
output which it
output as unnecessary.
Tag: info-documents-not-removed
-Type: error
+Type: warning
Ref: policy 12.2
Info: The preinst script calls the <tt>install-info</tt> command, but the
documents installed are not then removed by the <tt>postinst</tt> maintainer
--
Debian package checker
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
