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

& name parts.
This commit is contained in:
Fred Drake 1998-01-09 22:30:32 +00:00
parent 8d0ff317bc
commit 12d9da5827
2 changed files with 6 additions and 6 deletions

View File

@ -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}

View File

@ -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}