From: Julius Bünger <buenger@mytum.de>
Date: Thu, 28 Jun 2018 21:47:51 +0000 (+0200)
Subject: fix documentation: add missing section to menu
X-Git-Tag: v0.11.0~322^2~106^2~1^2~8
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=8a9a639ad45d0900e185221f015bb64936361629;p=oweals%2Fgnunet.git

fix documentation: add missing section to menu
---

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 12b52f35c..c1905e899 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -90,7 +90,8 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 * GNUnet Contributors Handbook::    Contributing to GNUnet
 * GNUnet Developer Handbook::       Developing GNUnet
 * GNU Free Documentation License::  The license of this manual
-* GNU General Public License::      The license of this manual
+* GNU General Public License::
+* GNU Affero General Public License::
 * Concept Index::                   Concepts
 * Programming Index::               Data types, functions, and variables