Bug#698030: debian-policy: document micro binary packages (udebs).

[Jonathan Nieder <jrnieder@gmail.com>]

Hi,

In January, Russ Allbery wrote:

> I think we should probably say explicitly that they don't follow all of
> the requirements laid out in this document.

How about this patch?

diff --git i/policy.sgml w/policy.sgml
index 0347cd66..a41bc1fd 100644
--- i/policy.sgml
+++ w/policy.sgml
@@ -158,6 +158,14 @@
 	  distributed in some other way or is intended for local use
 	  only.
 	</p>
+
+	<p>
+	  udebs (stripped-down binary packages used by the Debian Installer) do
+	  not comply with all of the requirements discussed here.  See the
+	  <url name="Debian Installer internals manual"
+	  id="http://d-i.alioth.debian.org/doc/internals/ch03.html";> for more
+	  information about them.
+	</p>
       </sect>
 
       <sect>