[SCM] Debian package checker branch, master, updated. 9df55dfd32d5c2155cd0465f6d478ef8efaaaea0

["Russ Allbery" <rra@debian.org>]

The following commit has been merged in the master branch:
commit d2bda16c93c7b619ee593ae3908ca579b8600c50
Author: Russ Allbery <rra@debian.org>
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