From 82b9139caeaf6715e7ec14bd49e96ce126b2b60c Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sun, 1 Oct 2017 18:13:45 -0700
Subject: [PATCH] doc/ref-manual: Do not include detailmenu in HTML, which has
 a TOC.

---
 doc/ref-manual/scheme.texinfo | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.25.1