Markup nit to fixed dropped space in HTML output.

diff --git a/Doc/lib/libtempfile.tex b/Doc/lib/libtempfile.tex
index 95034bbcb3c562a5fbd351bcbffa2a5556055c6e..b8f1e69f4268291ec63c559184c7dc2477a14339 100644 (file)
--- a/Doc/lib/libtempfile.tex
+++ b/Doc/lib/libtempfile.tex
@@ -1,7 +1,7 @@
 \section{\module{tempfile} ---
-         Generate temporary file names.}
-\declaremodule{standard}{tempfile}
+         Generate temporary file names}
 
+\declaremodule{standard}{tempfile}
 \modulesynopsis{Generate temporary file names.}
 
 \indexii{temporary}{file name}
@@ -47,6 +47,6 @@ other systems).
 \strong{Warning:} if a \UNIX{} process uses \code{mktemp()}, then
 calls \function{fork()} and both parent and child continue to use
 \function{mktemp()}, the processes will generate conflicting temporary
-names.  To resolve this, the child process should assign \code{None}
-to \code{template}, to force recomputing the default on the next call
+names.  To resolve this, the child process should assign \code{None} to
+\code{template}, to force recomputing the default on the next call
 to \function{mktemp()}.