--- gnutls-2.8.0/doc/gnutls.texi.orig	2009-05-30 21:21:29.000000000 +0200
+++ gnutls-2.8.0/doc/gnutls.texi	2009-05-30 21:22:36.000000000 +0200
@@ -29,19 +29,19 @@
 @end quotation
 @end copying
 
-@dircategory Software libraries
+@dircategory Libraries:
 @direntry
-* GnuTLS: (gnutls).		GNU Transport Layer Security Library.
+* GnuTLS: (gnutls).			GNU Transport Layer Security Library
 @end direntry
 
-@dircategory System Administration
+@dircategory Net utilities:
 @direntry
-* certtool: (gnutls)Invoking certtool.	Manipulate certificates and keys.
-* gnutls-serv: (gnutls)Invoking gnutls-serv.	GNU TLS test server.
-* gnutls-cli: (gnutls)Invoking gnutls-cli.	GNU TLS test client.
-* gnutls-cli-debug: (gnutls)Invoking gnutls-cli-debug.	GNU TLS debug client.
-* psktool: (gnutls)Invoking psktool.	Simple TLS-Pre-Shared-Keys manager.
-* srptool: (gnutls)Invoking srptool.	Simple SRP password tool.
+* certtool: (gnutls)certtool.		Manipulate certificates and keys
+* gnutls-serv: (gnutls)gnutls-serv.	GNU TLS test server
+* gnutls-cli: (gnutls)gnutls-cli.	GNU TLS test client
+* gnutls-cli-debug: (gnutls)gnutls-cli-debug.	GNU TLS debug client
+* psktool: (gnutls)psktool.		Simple TLS-Pre-Shared-Keys manager
+* srptool: (gnutls)srptool.		Simple SRP password tool
 @end direntry
 
 @titlepage
@@ -2714,15 +2714,15 @@
 application.  The applications are discussed in this chapter.
 
 @menu
-* Invoking certtool::
-* Invoking gnutls-cli::
-* Invoking gnutls-cli-debug::
-* Invoking gnutls-serv::
-* Invoking psktool::
-* Invoking srptool::
+* certtool::
+* gnutls-cli::
+* gnutls-cli-debug::
+* gnutls-serv::
+* psktool::
+* srptool::
 @end menu
 
-@node Invoking certtool
+@node certtool
 @section Invoking certtool
 @cindex certtool
 
@@ -3031,7 +3031,7 @@
 #time_stamping_key
 @end example
 
-@node Invoking gnutls-cli
+@node gnutls-cli
 @section Invoking gnutls-cli
 @cindex gnutls-cli
 
@@ -3157,7 +3157,7 @@
 @code{--pskkey} parameter, it will query only for the password during
 the handshake.
 
-@node Invoking gnutls-cli-debug
+@node gnutls-cli-debug
 @section Invoking gnutls-cli-debug
 @cindex gnutls-cli-debug
 
@@ -3205,7 +3205,7 @@
 Checking for OpenPGP authentication support (TLS extension)... no
 @end smallexample
 
-@node Invoking gnutls-serv
+@node gnutls-serv
 @section Invoking gnutls-serv
 @cindex gnutls-serv
 
@@ -3450,7 +3450,7 @@
 @cindex PSK server
 
 To set up a PSK server with @code{gnutls-serv} you need to create PSK
-password file (@pxref{Invoking psktool}).  In the example below, I
+password file (@pxref{psktool}).  In the example below, I
 type @code{password} at the prompt.
 
 @smallexample
@@ -3474,7 +3474,7 @@
 You can now connect to the server using a PSK client (@pxref{Example
 client PSK connection}).
 
-@node Invoking psktool
+@node psktool
 @section Invoking psktool
 @cindex psktool
 
@@ -3501,9 +3501,8 @@
 @code{--netconf-hint}.  To derive a PSK key from a password with an
 empty PSK identity hint, using @code{--netconf-hint ""}.
 
-@node Invoking srptool
+@node srptool
 @section Invoking srptool
-@anchor{srptool}
 @cindex srptool
 
 The @file{srptool} is a very simple program that emulates the programs