doc/ref-manual: Do not include detailmenu in HTML, which has a TOC.

diff --git a/doc/ref-manual/scheme.texinfo b/doc/ref-manual/scheme.texinfo
index 1dd5f39147464de303859ef272b9b23d512ad271..5aa8ad1fa7ef0dcb7c7aca0e3abe229ab0f3cd8b 100644 (file)
--- a/doc/ref-manual/scheme.texinfo
+++ b/doc/ref-manual/scheme.texinfo
@@ -115,6 +115,7 @@ Documentation License.''
 * Binding Index::               
 * Concept Index::               
 
+@ifnothtml
 @detailmenu
  --- The Detailed Node Listing ---
 
@@ -457,6 +458,7 @@ Device Independent Bitmap Utilities
 * Other parts of the DIB Utilities implementation::
 
 @end detailmenu
+@end ifnothtml
 @end menu
 
 @include acknowledgements.texi