summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/doc/web2c.texi
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-03-02 17:40:39 +0000
committerKarl Berry <karl@freefriends.org>2009-03-02 17:40:39 +0000
commit4c87eac508b32a89d6725b1616b5ee68fd270c2e (patch)
treea2418c9e41b568c1db8e9324666ed2736d974fe7 /Build/source/texk/web2c/doc/web2c.texi
parent33317ea7b0c925bdfb50d5e596ceaf0d22e49c1b (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.texi12
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