include Configuration Handbook in gnunet.info

(Minimal configuration): Use one-arg form of pxref (revert last commit).
(Top): Comment in "Configuration Handbook".
<detailmenu>: Add "Configuration Handbook" incl. section "Config file format".

1 files changed, 5 insertions, 1 deletions

diff --git a/doc/handbook/gnunet.texi b/doc/handbook/gnunet.texi
index 5ff33d94c..4c7822876 100644
--- a/doc/handbook/gnunet.texi
+++ b/doc/handbook/gnunet.texi
@@ -78,7 +78,7 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 @c * Vocabulary::                      Vocabulary
 * Installing GNUnet::               Installing GNUnet
 * Using GNUnet::                    Using GNUnet
-@c * Configuration Handbook::          Configuring GNUnet
+* Configuration Handbook::          Configuring GNUnet
 * GNUnet Contributors Handbook::    Contributing to GNUnet
 * GNUnet Developer Handbook::       Developing GNUnet
 * GNU Free Documentation License::  The license of this manual
@@ -137,6 +137,10 @@ Using GNUnet
 * reclaimID Identity Provider::
 * Using the Virtual Public Network::
 
+Configuration Handbook
+
+* Config file format::
+
 GNUnet Contributors Handbook
 
 * Contributing to GNUnet::