match priority in override files on archive

[developers-reference.git] / developers-reference.sgml

diff --git a/developers-reference.sgml b/developers-reference.sgml
index 10ae1197669e473dcef38a2e30de85f3ad28ea53..cd8bbf972a85f762f0e0d1bef0eefa5f82b1b859 100644 (file)
--- a/developers-reference.sgml
+++ b/developers-reference.sgml
@@ -254,7 +254,7 @@ help.
 
     <chapt id="user-maint">Maintaining Your Debian Information
 
-      <sect>Maintaining Your Public Key
+      <sect id="key-maint">Maintaining Your Public Key
        <p>
 Be very careful with your private keys.  Do not place them on any
 public servers.  Back them up.  Read the documentation that comes with
@@ -263,8 +263,13 @@ measure.
        <p>
 If you add or remove signatures from your public key, or add or remove
 user identities, you need to update the key servers and mail your
-public key to <email>keyring-maint@debian.org</email>.  The same key
-extraction routines from <ref id="registering"> apply.
+public key to <email>pgp-update@debian.org</email> or
+<email>gpg-update@debian.org</email> (depending on your type of key).
+The same key extraction routines discussed in <ref id="registering">
+apply.
+       <p>
+You can find a more in-depth discussion of Debian key maintenance in
+the documentation for the <package>debian-keyring</package> package.
 
       <sect>Retiring Gracefully
        <p>
@@ -1819,7 +1824,14 @@ manipulate your <file>debian/changelog</file> file from the
 command-line, and <prgn>build</prgn>, which is a wrapper around
 <prgn>dpkg-buildpackage</prgn>.
 
-<!-- dpkg-awk ? -->
+
+      <sect id="debget">
+       <heading><package>debget</package>
+       <p>
+<package>debget</package> is a package containing a convenient script
+which can be helpful in downloading files from the Debian archive.
+You can use it to download source packages, for instance.
+
 
   </book>
 </debiandoc>