diff options
author | Karl Berry <karl@freefriends.org> | 2009-03-02 17:40:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-03-02 17:40:39 +0000 |
commit | 4c87eac508b32a89d6725b1616b5ee68fd270c2e (patch) | |
tree | a2418c9e41b568c1db8e9324666ed2736d974fe7 /Build/source/texk/web2c/doc/web2c.texi | |
parent | 33317ea7b0c925bdfb50d5e596ceaf0d22e49c1b (diff) |
make --enable/disable-write18 synonyms for -no/-shell-escape, for compatibility with MiKTeX
git-svn-id: svn://tug.org/texlive/trunk@12289 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 | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/doc/web2c.texi b/Build/source/texk/web2c/doc/web2c.texi index e6b0eeec290..7d4db752064 100644 --- a/Build/source/texk/web2c/doc/web2c.texi +++ b/Build/source/texk/web2c/doc/web2c.texi @@ -12,7 +12,7 @@ The latest version is available from ftp://ftp.tug.org/tex/texinfo.tex.} @end tex @set version 7.5.7 -@set month-year February 2009 +@set month-year March 2009 @c Define new indices for commands in auxiliary files, filenames, and options. @defcodeindex cm @@ -1082,9 +1082,17 @@ config file value @samp{output_comment}. @itemx -shell-restricted @opindex -shell-restricted Enable, or disable, or enable with restrictions the -@samp{\write18@{@var{shell-command}@}} feature for external executing +@code{\write18@{@var{shell-command}@}} feature for external executing shell commands. @xref{Shell escapes}. +@item -enable-write18 +@opindex -enable-write18 +@itemx -disable-write18 +@opindex -disable-write18 +Synonyms for @option{-shell-escape} and @option{-no-shell-escape}, for +compatibility with MiK@TeX{}. (MiK@TeX{} also accepts both pairs of +options.) @xref{Shell escapes}. + @item -src-specials @itemx -src-specials=@var{string} @cindex generating source specials |