New debugging optionhs, updates to the manual.

1 files changed, 17 insertions, 2 deletions

diff --git a/doc/gnupg.texi b/doc/gnupg.texi
index 4c30980b3..d92f01cd9 100644
--- a/doc/gnupg.texi
+++ b/doc/gnupg.texi
@@ -86,14 +86,15 @@ section entitled ``Copying''.
 @insertcopying
 @end titlepage
 
-
+@ifnothtml
 @summarycontents
 @contents
 @page
+@end ifnothtml
 
 @ifnottex
 @node Top
-@top The GNU Privacy Guard
+@top 
 @insertcopying
 
 This manual documents how to use the GNU Privacy Guard system as well as
@@ -120,6 +121,20 @@ the administration and the architecture.
 * Index::	        Index of concepts and symbol names.
 @end menu
 
+@ifhtml
+
+@center @image{gnupg-badge-openpgp,6cm,,The GnuPG Logo}
+
+@end ifhtml
+
+
+@ifhtml
+@page
+@summarycontents
+@contents
+@end ifhtml
+
+
 @include gpg.texi
 @include gpgsm.texi
 @include gpg-agent.texi