devops: Replace Concept Index with Binding Index.

diff --git a/src/devops/devops.texi b/src/devops/devops.texi
index ad3bb85138248cee2314bf0c668efd3ecf1dc205..28c0b8e90c19f5430e81b73f0b13a2318b0af67d 100644 (file)
--- 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