projects
/
krb5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Use "agogo" HTML theme (with some modifications) for the Sphinx documentation. Do...
[krb5.git]
/
doc
/
document-list.texinfo
diff --git
a/doc/document-list.texinfo
b/doc/document-list.texinfo
index 0c0620dc9db7a7b7979653817595a12c75e9fbed..65058b96d7794a4c61cf2b2559e1ccee08634cb0 100644
(file)
--- a/
doc/document-list.texinfo
+++ b/
doc/document-list.texinfo
@@
-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