diff Doc/lib/libstdtypes.tex @ 21062:bc02c3b09626 legacy-trunk

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.
author Fred Drake <fdrake@acm.org>
date Wed, 28 Nov 2001 07:26:15 +0000
parents b3f48c5d6e16
children 6fa96b329e15
line wrap: on
line diff
--- a/Doc/lib/libstdtypes.tex	Wed Nov 28 05:49:39 2001 +0000
+++ b/Doc/lib/libstdtypes.tex	Wed Nov 28 07:26:15 2001 +0000
@@ -128,7 +128,7 @@
 \code{<>} and \code{!=} are alternate spellings for the same operator.
 (I couldn't choose between \ABC{} and C! :-)
 \index{ABC language@\ABC{} language}
-\index{language!ABC@\ABC{}}
+\index{language!ABC@\ABC}
 \indexii{C}{language}
 \code{!=} is the preferred spelling; \code{<>} is obsolescent.
 
@@ -1105,7 +1105,7 @@
 \begin{methoddesc}[file]{readlines}{\optional{sizehint}}
   Read until \EOF{} using \method{readline()} and return a list containing
   the lines thus read.  If the optional \var{sizehint} argument is
-  present, instead of reading up to \EOF{}, whole lines totalling
+  present, instead of reading up to \EOF, whole lines totalling
   approximately \var{sizehint} bytes (possibly after rounding up to an
   internal buffer size) are read.  Objects implementing a file-like
   interface may choose to ignore \var{sizehint} if it cannot be