From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 2 Oct 2017 01:13:45 +0000 (-0700)
Subject: doc/ref-manual: Do not include detailmenu in HTML, which has a TOC.
X-Git-Tag: mit-scheme-pucked-9.2.12~45
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=82b9139caeaf6715e7ec14bd49e96ce126b2b60c;p=mit-scheme.git

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 1dd5f3914..5aa8ad1fa 100644
--- 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