From 12d9da58275d9eec0436f1fe48699e103bd4429d Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 9 Jan 1998 22:30:32 +0000
Subject: [PATCH] Use \file{} instead of \code{} or ``\code{}'' to mark file &
 directory names & name parts.

---
 Doc/lib/libtempfile.tex | 6 +++---
 Doc/libtempfile.tex     | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Doc/lib/libtempfile.tex b/Doc/lib/libtempfile.tex
index e033f70f939..f7304aec816 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}
 
diff --git a/Doc/libtempfile.tex b/Doc/libtempfile.tex
index e033f70f939..f7304aec816 100644
--- 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}