diff options
author | Laurence Finston <lfinsto@gwdg.de> | 2010-07-15 16:48:04 +0200 |
---|---|---|
committer | Laurence Finston <lfinsto@gwdg.de> | 2010-07-15 16:48:04 +0200 |
commit | f6f211003070687c2f712d99d90f554911f471ef (patch) | |
tree | 11180dba95c3be029725442e3c94f791168362b6 | |
parent | 2466701cc5d0fd8b0a571bcd04a0db4f280110ff (diff) | |
download | gnutls-f6f211003070687c2f712d99d90f554911f471ef.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.texi | 12 |
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 |