latexdoc/generaldescription.tex
This was mentioned on the list a week or two ago.
Fix eliminates a duplicated word pair from the document.
-\addtoindex{mangled names}
-mangled names.
+\addtoindex{mangled names}.
Noticed this when looking at the index entries for mangled
names (we do not want the ! to appear in the body of text).
-\addtoindex{names!mangled}
+\addtoindexx{names!mangled}
if present. See also
Section \referfol{chap:linkagenames} regarding the use
of \DWATlinkagename{} for
-\addtoindex{mangled names}
-mangled names.
+\addtoindex{mangled names}.
Sequences of
multiple whitespace characters may be compressed.}
object files that are different from the identifier names
(see Section \refersec{chap:identifiernames}) of entities as they appear in the
source. Such names, sometimes known
-\addtoindex{names!mangled}
+\addtoindexx{names!mangled}
as
\addtoindexx{mangled names}
mangled names,