Documentation: fix?
authorNils Gillmann <ng0@n0.is>
Wed, 4 Jul 2018 08:32:17 +0000 (08:32 +0000)
committerNils Gillmann <ng0@n0.is>
Wed, 4 Jul 2018 08:32:17 +0000 (08:32 +0000)
Signed-off-by: Nils Gillmann <ng0@n0.is>
doc/documentation/gnunet.texi

index 66747afbb73dafc337c9d0a85e0c4d639355b412..3cce4deb8ebb7b052324621c00fea00ca16e5024 100644 (file)
@@ -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