diff options
Diffstat (limited to 'doc/gnupg.texi')
| -rw-r--r-- | doc/gnupg.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/gnupg.texi b/doc/gnupg.texi index 58c995b38..0beb97e69 100644 --- a/doc/gnupg.texi +++ b/doc/gnupg.texi @@ -134,6 +134,7 @@ Miscellaneous Indices +* Glossary:: Short descrition of used terms. * Option Index:: Index to command line options. * Index:: Index of concepts and symbol names. @end menu @@ -155,6 +156,8 @@ Indices @c Indexes @c --------------------------------------------------------------------- +@include glossary.texi + @node Option Index @unnumbered Option Index |