Use \file{} instead of \code{} or ``\code{}'' to mark file & directory names

& name parts.

1 files changed, 3 insertions, 3 deletions

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 @@ are initialized at the first call to \code{mktemp()}.
 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 @@ whether its value is valid.
 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}