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 e033f70f93915dd44adc0623a9a8900a2d56d9fc..f7304aec8167b15f67d73ab14986f56dcb777c75 100644 (file)
--- 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}
 

diff --git a/Doc/libtempfile.tex b/Doc/libtempfile.tex
index e033f70f93915dd44adc0623a9a8900a2d56d9fc..f7304aec8167b15f67d73ab14986f56dcb777c75 100644 (file)
--- a/Doc/libtempfile.tex
+++ b/Doc/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}