From 1c6bf038fb08af39a5b92f7e26055270bc3299b3 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 30 Jul 2015 10:14:00 +0000
Subject: [PATCH] remove detailed node listing from html
---
doc/texinfo/gmsh.texi | 2 ++
1 file changed, 2 insertions(+)
diff --git a/doc/texinfo/gmsh.texi b/doc/texinfo/gmsh.texi
index 5d85cd8433..db231a240e 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 =========================================================================
--
GitLab