[gnunet] branch master updated: include Configuration Handbook in gnunet.info

[gnunet]

This is an automated email from the git hooks/post-receive script.

ttn pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 407765df1 include Configuration Handbook in gnunet.info
407765df1 is described below

commit 407765df156fa2600e33f16b2fe8ea7877b658d3
Author: Thien-Thi Nguyen <ttn@gnuvola.org>
AuthorDate: Tue Dec 15 04:54:32 2020 -0500

    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".
---
 doc/handbook/chapters/installation.texi | 2 +-
 doc/handbook/gnunet.texi                | 6 +++++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/doc/handbook/chapters/installation.texi 
b/doc/handbook/chapters/installation.texi
index 22252b4b2..40a23e738 100644
--- a/doc/handbook/chapters/installation.texi
+++ b/doc/handbook/chapters/installation.texi
@@ -327,7 +327,7 @@ Now GNS should work in browsers that are configured to use 
a SOCKS proxy on
 
 @node Minimal configuration
 @section Minimal configuration
-GNUnet needs a configuration file to start (@pxref{Config file 
format,,,configuration}).
+GNUnet needs a configuration file to start (@pxref{Config file format}).
 For the @emph{single-user setup} an empty file is sufficient:
 
 @example
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::

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.