Work around a LaTeX2HTML bug that caused the "m" in "mutable" to be dropped

in one place.

diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
index d3faa1fb461878fdb35ac370a2cf0550983ad4f7..d5711d2fde6c1ae27e43782aee84c86c9bb8ef5c 100644 (file)
--- a/Doc/ref/ref3.tex
+++ b/Doc/ref/ref3.tex
@@ -380,7 +380,7 @@ comparison: if two numbers compare equal (e.g., \code{1} and
 \code{1.0}) then they can be used interchangeably to index the same
 dictionary entry.
 
-Dictionaries are \obindex{mutable}mutable; they are created by the
+Dictionaries are mutable; they are created by the
 \code{\{...\}} notation (see section \ref{dict}, ``Dictionary
 Displays'').