diff options
author | Karl Berry <karl@freefriends.org> | 2011-05-05 17:17:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-05-05 17:17:16 +0000 |
commit | a97361f6ed440dccf368ca9f9cae3c7b3df5c20c (patch) | |
tree | 676be87bb702ccfbb3b39e909acfdae1c6d83f99 /Build/source/texk/web2c/doc/web2c.texi | |
parent | cc47a278bc345f269e2451bb22a7cf8cd6d0893a (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.texi | 3 |
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} |