Synchronized with patch 10 from Manojs tree
Patches applied:
* srivasta@debian.org--etch/debian-policy--devel--3.0--patch-10
Changed priority to optional. There is no reason this should be extra
git-archimport-id: debian-policy@lists.debian.org--etch/debian-policy--devel--3.0--patch-10
Source: debian-policy
Section: doc
-Priority: extra
+Priority: optional
Maintainer: Debian Policy List <debian-policy@lists.debian.org>
Standards-Version: ${debian-policy:Version}