fix

diff --git a/doc/documentation/chapters/vocabulary.texi b/doc/documentation/chapters/vocabulary.texi
index 201bf4c210aa0fdb2473365cb777bf92bf662c24..85b40b17bf6dff55483c0b93394cfb121df74bb7 100644 (file)
--- a/doc/documentation/chapters/vocabulary.texi
+++ b/doc/documentation/chapters/vocabulary.texi
@@ -13,6 +13,10 @@ which are listed in this introductionary chapter.
 @node Definitions abbreviations and acronyms
 @section Definitions abbreviations and acronyms
 
+@menu
+* Definitions::
+@end menu
+
 @node Definitions
 @subsection Defitions