Clean up some markup cruft. A number of the macros that take no
parameters (like \UNIX) are commonly entered using an empty group to
separate the markup from a following inter-word space; this is not
needed when the next character is punctuation, or the markup is the
last thing in the enclosing group. These cases were marked
inconsistently; the empty group is now *only* used when needed.
diff --git a/Doc/ref/ref1.tex b/Doc/ref/ref1.tex
index d6bb8b2..4aae253 100644
--- a/Doc/ref/ref1.tex
+++ b/Doc/ref/ref1.tex
@@ -75,7 +75,7 @@
informal description of the symbol defined; e.g., this could be used
to describe the notion of `control character' if needed.
\index{lexical definitions}
-\index{ASCII@\ASCII{}}
+\index{ASCII@\ASCII}
Even though the notation used is almost the same, there is a big
difference between the meaning of lexical and syntactic definitions: