From 64793d52bd30df2f1534680b98835a60f267a332 Mon Sep 17 00:00:00 2001 From: ng0 Date: Thu, 9 Nov 2017 10:50:38 +0000 Subject: [PATCH] fix --- doc/documentation/chapters/vocabulary.texi | 4 ++++ 1 file changed, 4 insertions(+) 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. @node Definitions abbreviations and acronyms @section Definitions abbreviations and acronyms +@menu +* Definitions:: +@end menu + @node Definitions @subsection Defitions -- 2.25.1