summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-07-04 08:32:17 +0000
committerNils Gillmann <ng0@n0.is>2018-07-04 08:32:17 +0000
commit0ad42db17c383b26243beb722e00ae69a7f51402 (patch)
tree7a31d8d8c5807928d7c3c478dd5b260a3ffec3c0 /doc
parent2e365a70397a23581dd1c8165f64ea68e2ac250b (diff)
Documentation: fix?
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r--doc/documentation/gnunet.texi5
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 66747afbb..3cce4deb8 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -247,14 +247,11 @@ GNUnet Developer Handbook
@unnumbered Concept Index
@printindex cp
-@node Program Index
-@unnumbered Program Index
-@printindex pg
-
@node Programming Index
@unnumbered Programming Index
@syncodeindex tp fn
@syncodeindex vr fn
+@syncodeindex pg fn
@printindex fn
@bye