Use "agogo" HTML theme (with some modifications) for the Sphinx documentation. Do...
[krb5.git] / doc / document-list.texinfo
index 0c0620dc9db7a7b7979653817595a12c75e9fbed..65058b96d7794a4c61cf2b2559e1ccee08634cb0 100644 (file)
@@ -1,3 +1,6 @@
+This document is one piece of the document set for @value{PRODUCT}.  The
+documents, and their intended audiences, are:
+
 @itemize @bullet
 @item
 @b{@value{PRODUCT} Installation Guide}:  a concise guide for installing