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.

1 files changed, 2 insertions, 2 deletions

diff --git a/Doc/lib/libexcs.tex b/Doc/lib/libexcs.tex
index 08defcc..f4b1d15 100644
--- a/Doc/lib/libexcs.tex
+++ b/Doc/lib/libexcs.tex
@@ -136,11 +136,11 @@ Raised when an \keyword{assert} statement fails.
 \begin{excdesc}{EOFError}
 % XXXJH xrefs here
   Raised when one of the built-in functions (\function{input()} or
-  \function{raw_input()}) hits an end-of-file condition (\EOF{}) without
+  \function{raw_input()}) hits an end-of-file condition (\EOF) without
   reading any data.
 % XXXJH xrefs here
   (N.B.: the \method{read()} and \method{readline()} methods of file
-  objects return an empty string when they hit \EOF{}.)
+  objects return an empty string when they hit \EOF.)
 \end{excdesc}
 
 \begin{excdesc}{FloatingPointError}