From 431ce45fe5b77416e8edc2f40253e616a3385431 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 3 May 2005 13:11:12 +0000 Subject: [PATCH] Don't use colon in index term, because older `makeinfo's don't like it. --- doc/language.texi | 1 - 1 file changed, 1 deletion(-) 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 -- 2.30.2