Correct a markup nit that caused a space to be dropped from the HTML

version (actually a LaTeX2HTML bug), and clarified a sentence in the
mktime() description based entirely on comments from Grant Griffin
<grant.griffin@honeywell.com>.

diff --git a/Doc/lib/libtime.tex b/Doc/lib/libtime.tex
index ee313923e07a3d5172b8f7a9bd77bcaecabca322..7226b6cce3167af09cf8d91615803e34d159651e 100644 (file)
--- a/Doc/lib/libtime.tex
+++ b/Doc/lib/libtime.tex
@@ -154,8 +154,8 @@ set to \code{1} when DST applies to the given time.
 
 \begin{funcdesc}{mktime}{tuple}
 This is the inverse function of \function{localtime()}.  Its argument
-is the full 9-tuple (since the dst flag is needed --- pass \code{-1}
-as the dst flag if it is unknown) which expresses the time in
+is the full 9-tuple (since the dst flag is needed; use \code{-1} as
+the dst flag if it is unknown) which expresses the time in
 \emph{local} time, not UTC.  It returns a floating point number, for
 compatibility with \function{time()}.  If the input value cannot be
 represented as a valid time, \exception{OverflowError} is raised.