From 9b1eff658f654630ea74eb8278b1e3542e5c5e25 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Fri, 3 Nov 2017 01:23:10 -0700
Subject: [PATCH] devops.texi: Punt empty @detailmenu.

---
 src/devops/devops.texi | 5 -----
 1 file changed, 5 deletions(-)

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