diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/documentation/chapters/vocabulary.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/documentation/chapters/vocabulary.texi b/doc/documentation/chapters/vocabulary.texi index 201bf4c21..85b40b17b 100644 --- a/doc/documentation/chapters/vocabulary.texi +++ b/doc/documentation/chapters/vocabulary.texi | |||
@@ -13,6 +13,10 @@ which are listed in this introductionary chapter. | |||
13 | @node Definitions abbreviations and acronyms | 13 | @node Definitions abbreviations and acronyms |
14 | @section Definitions abbreviations and acronyms | 14 | @section Definitions abbreviations and acronyms |
15 | 15 | ||
16 | @menu | ||
17 | * Definitions:: | ||
18 | @end menu | ||
19 | |||
16 | @node Definitions | 20 | @node Definitions |
17 | @subsection Defitions | 21 | @subsection Defitions |
18 | 22 | ||