From 2e6c069036f7765c4d912c9766fe2b2262a6116d Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sun, 18 Feb 2018 18:18:25 -0700
Subject: [PATCH] devops: Replace Concept Index with Binding Index.

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

diff --git a/src/devops/devops.texi b/src/devops/devops.texi
index ad3bb8513..28c0b8e90 100644
--- a/src/devops/devops.texi
+++ b/src/devops/devops.texi
@@ -67,8 +67,8 @@ Documentation License.''
 * Introduction:: What kind of ``operations?''
 * Changes:: How so ``pucked?''
 * Build System:: How so ``supported?''
-* GNU Free Documentation License::  
-* Concept Index::               
+* GNU Free Documentation License::
+* Binding Index::
 @end menu
 
 @node Introduction
@@ -88,8 +88,8 @@ just how is MIT/GNU Scheme Pucked.
 @node GNU Free Documentation License
 @include gfdl.texi
 
-@node Concept Index, , GNU Free Documentation License, Top
-@appendix Concept Index
-@printindex cp
+@node Binding Index,, GNU Free Documentation License, Top
+@appendix Binding Index
+@printindex fn
 
 @bye
-- 
2.25.1