documentation batch commit

1 files changed, 6 insertions, 1 deletions

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 6222cf314..2497d4b09 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -111,6 +111,7 @@ in the respective authors file or section, please do let us know.
 * Vocabulary::                      Vocabulary
 * GNUnet Installation Handbook::    How to install GNUnet
 * Using GNUnet::                    Using GNUnet
+* Configuration Handbook::          Configuring GNUnet
 * GNUnet Developer Handbook::       Developing GNUnet
 * GNU Free Documentation License::  The license of this manual.
 * GNU General Public License::      The license of this manual.
@@ -154,10 +155,12 @@ GNUnet Installation Handbook
 * Installing GNUnet from Git on Ubuntu 14.4::
 * Build instructions for Debian 8::
 * Outdated build instructions for previous revisions::
-* Portable GNUnet::
+@c * Portable GNUnet::
 * The graphical configuration interface::
 * How to start and stop a GNUnet peer::
 
+Configuration Handbook
+
 Using GNUnet
 
 * Checking the Installation::
@@ -225,6 +228,8 @@ GNUnet Developer Handbook
 @include chapters/user.texi
 @c *********************************************************************
 
+@include chapters/configuration.texi
+
 @c *********************************************************************
 @include chapters/developer.texi
 @c @include gnunet-c-tutorial.texi