summaryrefslogtreecommitdiff
path: root/doc/documentation
diff options
context:
space:
mode:
authorJulius Bünger <buenger@mytum.de>2018-06-28 23:47:51 +0200
committerJulius Bünger <buenger@mytum.de>2018-06-28 23:47:51 +0200
commit8a9a639ad45d0900e185221f015bb64936361629 (patch)
treed1aa93d6e776653e515dd1c576fc5c8fec340239 /doc/documentation
parent81dfffc5beac5b94ad0b6834eeeab9dfcac3a9f3 (diff)
fix documentation: add missing section to menu
Diffstat (limited to 'doc/documentation')
-rw-r--r--doc/documentation/gnunet.texi3
1 files changed, 2 insertions, 1 deletions
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