Use \file{} instead of \code{} or ``\code{}'' to mark file & directory names
& name parts.
diff --git a/Doc/lib/libtempfile.tex b/Doc/lib/libtempfile.tex
index e033f70..f7304ae 100644
--- a/Doc/lib/libtempfile.tex
+++ b/Doc/lib/libtempfile.tex
@@ -28,7 +28,7 @@
When set to a value other than \code{None}, this variable defines the
directory in which filenames returned by \code{mktemp()} reside. The
default is taken from the environment variable \code{TMPDIR}; if this
-is not set, either \code{/usr/tmp} is used (on \UNIX{}), or the current
+is not set, either \file{/usr/tmp} is used (on \UNIX{}), or the current
working directory (all other systems). No check is made to see
whether its value is valid.
\end{datadesc}
@@ -38,8 +38,8 @@
When set to a value other than \code{None}, this variable defines the
prefix of the final component of the filenames returned by
\code{mktemp()}. A string of decimal digits is added to generate
-unique filenames. The default is either ``\code{@\var{pid}.}'' where
-\var{pid} is the current process ID (on \UNIX{}), or ``\code{tmp}'' (all
+unique filenames. The default is either \file{@\var{pid}.} where
+\var{pid} is the current process ID (on \UNIX{}), or \file{tmp} (all
other systems).
\end{datadesc}