diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-07-04 08:32:17 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-07-04 08:32:17 +0000 |
| commit | 0ad42db17c383b26243beb722e00ae69a7f51402 (patch) | |
| tree | 7a31d8d8c5807928d7c3c478dd5b260a3ffec3c0 /doc/documentation | |
| parent | 2e365a70397a23581dd1c8165f64ea68e2ac250b (diff) | |
Documentation: fix?
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/documentation')
| -rw-r--r-- | doc/documentation/gnunet.texi | 5 |
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 |