From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Mon, 19 Feb 2018 01:18:25 +0000 (-0700)
Subject: devops: Replace Concept Index with Binding Index.
X-Git-Tag: mit-scheme-pucked-devops-0.5~2
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=2e6c069036f7765c4d912c9766fe2b2262a6116d;p=mit-scheme.git

devops: Replace Concept Index with Binding Index.
---

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