From: Ben Pfaff <blp@gnu.org>
Date: Tue, 3 May 2005 13:11:12 +0000 (+0000)
Subject: Don't use colon in index term, because older `makeinfo's don't like
X-Git-Tag: v0.4.0~93
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=431ce45fe5b77416e8edc2f40253e616a3385431;p=pspp-builds.git

Don't use colon in index term, because older `makeinfo's don't like
it.
---

diff --git a/doc/language.texi b/doc/language.texi
index 840f3207..31e3f6e4 100644
--- a/doc/language.texi
+++ b/doc/language.texi
@@ -1008,7 +1008,6 @@ An expression.  @xref{Expressions}, for details.
 @end table
 
 @item
-@cindex @code{::=}
 @cindex ``is defined as''
 @cindex productions
 @samp{::=} means ``is defined as''.  The left side of @samp{::=} gives