From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 3 Nov 2017 08:23:10 +0000 (-0700)
Subject: devops.texi: Punt empty @detailmenu.
X-Git-Tag: mit-scheme-pucked-9.2.12~41
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=9b1eff658f654630ea74eb8278b1e3542e5c5e25;p=mit-scheme.git

devops.texi: Punt empty @detailmenu.
---

diff --git a/src/devops/devops.texi b/src/devops/devops.texi
index ba1baefa1..ad3bb8513 100644
--- a/src/devops/devops.texi
+++ b/src/devops/devops.texi
@@ -69,11 +69,6 @@ Documentation License.''
 * Build System:: How so ``supported?''
 * GNU Free Documentation License::  
 * Concept Index::               
-
-@detailmenu
- --- The Detailed Node Listing ---
-
-@end detailmenu
 @end menu
 
 @node Introduction