diff options
Diffstat (limited to 'doc/documentation/chapters/vocabulary.texi')
| -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 | ||