X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=developers-reference.sgml;h=cd8bbf972a85f762f0e0d1bef0eefa5f82b1b859;hb=ce587f095536e37c27c64f4e6e2cc3ee3345c051;hp=10ae1197669e473dcef38a2e30de85f3ad28ea53;hpb=e08326f6ef1a77358b6d0220fe67f615711c82f7;p=developers-reference.git

diff --git a/developers-reference.sgml b/developers-reference.sgml
index 10ae119..cd8bbf9 100644
--- 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>