summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLaurence Finston <lfinsto@gwdg.de>2010-07-15 16:48:04 +0200
committerLaurence Finston <lfinsto@gwdg.de>2010-07-15 16:48:04 +0200
commitf6f211003070687c2f712d99d90f554911f471ef (patch)
tree11180dba95c3be029725442e3c94f791168362b6
parent2466701cc5d0fd8b0a571bcd04a0db4f280110ff (diff)
downloadgnutls-finston_0.tar.gz
Add a datatype index. This is necessary (if we want a separate data typefinston_0
index), because the predefined `tp' index has been combined with the function index.
-rw-r--r--doc/gnutls.texi12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/gnutls.texi b/doc/gnutls.texi
index b895594f1d..116ffe4897 100644
--- a/doc/gnutls.texi
+++ b/doc/gnutls.texi
@@ -15,6 +15,13 @@
@syncodeindex tp fn
@syncodeindex pg cp
+@c Add a datatype index. This is necessary (if we want a separate
+@c data type index), because the predefined
+@c `tp' index has been combined with the function index.
+@c LDF 2010.07.15.
+
+@defindex dt
+
@comment %**end of header
@finalout
@copying
@@ -137,6 +144,11 @@ Documentation License''.
@printindex fn
+@node Data Type Index
+@unnumbered Data Type Index
+
+@printindex dt
+
@node Concept Index
@unnumbered Concept Index