Mention Debian Maintainers and the debian-maintainers package. (#483225)

[developers-reference.git] / tools.dbk

diff --git a/tools.dbk b/tools.dbk
index fcf1d17453de4ed898d21808e892bbb296fe49f5..01ee79c942336a5ab34dc0e688615b89512c4215 100644 (file)
--- a/tools.dbk
+++ b/tools.dbk
@@ -537,6 +537,14 @@ linkend="key-maint"/> and the package documentation for more information.
 </para>
 </section>
 
+<section id="debian-maintainers">
+<title><systemitem role="package">debian-maintainers</systemitem></title>
+<para>
+Contains the public GPG keys of Debian Maintainers.
+See <ulink url="&url-wiki-dm;"></ulink> for more information.
+</para>
+</section>
+
 <section id="debview">
 <title><systemitem role="package">debview</systemitem></title>
 <para>