diff --git a/doc/texinfo/gmsh.texi b/doc/texinfo/gmsh.texi
index 5d85cd8433053fa117aaab355e7c52fea626b91c..db231a240e0e3f1e7496674a3c67cab874b78fed 100644
--- a/doc/texinfo/gmsh.texi
+++ b/doc/texinfo/gmsh.texi
@@ -129,6 +129,7 @@ for Gmsh @value{GMSH-VERSION} (@today{}).
 * Concept index::               Index of concepts
 * Syntax index::                Index of reserved keywords in the Gmsh language
 
+@ifnothtml
 @detailmenu
  --- The Detailed Node Listing ---
 
@@ -265,6 +266,7 @@ Frequently asked questions
 * Post-processing module questions::
 
 @end detailmenu
+@end ifnothtml
 @end menu
 
 @c =========================================================================