summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/doc/web2c.texi
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-05-05 17:17:16 +0000
committerKarl Berry <karl@freefriends.org>2011-05-05 17:17:16 +0000
commita97361f6ed440dccf368ca9f9cae3c7b3df5c20c (patch)
tree676be87bb702ccfbb3b39e909acfdae1c6d83f99 /Build/source/texk/web2c/doc/web2c.texi
parentcc47a278bc345f269e2451bb22a7cf8cd6d0893a (diff)
doc changs
git-svn-id: svn://tug.org/texlive/trunk@22315 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/doc/web2c.texi')
-rw-r--r--Build/source/texk/web2c/doc/web2c.texi3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi
index ed8d2921756..530d41dff51 100644
--- a/Build/source/texk/web2c/doc/web2c.texi
+++ b/Build/source/texk/web2c/doc/web2c.texi
@@ -417,7 +417,8 @@ the @samp{.log} file, for example, respecting
location}). However, if @TeX{} processing is done on the command line
(or in response to the @samp{**} prompt), the @samp{.fls} might be
written to the current directory, or include an integer (the current
-pid), as in @file{texput1234.fls}.
+pid), as in @file{texput1234.fls}. You can use @option{-jobname} to
+explicitly set the basename.
@item -translate-file=@var{tcxfile}
@opindex -translate-file=@var{tcxfile}