diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/cwebman-w2c.ch')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/cwebman-w2c.ch | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch b/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch index 1b29ce9258c..31f02453afe 100644 --- a/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch +++ b/Build/source/texk/web2c/cwebdir/cwebman-w2c.ch @@ -169,8 +169,7 @@ options are currently implemented:% \cwebfootnote{This extended version of \.{CWEB} adds the following options to the list: \hfil\smallskip -\option c Overwrite output files with temporary output only if changes occur. -(On by default.) +\option c Check temporary output files for changes. (Off by default.) \hfil\vskip\normallineskip \option d Set the debugging variable \\{kpathsea\_debug} to the numeric value $N\in[0,127]$ of this option. See section~93 % FIXME |