diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/comm-w2c.ch')
| -rw-r--r-- | Build/source/texk/web2c/cwebdir/comm-w2c.ch | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/comm-w2c.ch b/Build/source/texk/web2c/cwebdir/comm-w2c.ch index 2d87bb9d95c..a4599168e70 100644 --- a/Build/source/texk/web2c/cwebdir/comm-w2c.ch +++ b/Build/source/texk/web2c/cwebdir/comm-w2c.ch @@ -916,6 +916,14 @@ temporary_output=1; /* Check temporary output for changes */ @z @x +file. It may have an extension, or it may omit the extension to get |".w"| or +|".web"| added. The \TEX/ output file name is formed by replacing the \.{CWEB} +@y +file. It may have an extension, or it may omit the extension to get |".w"|. +The \TEX/ output file name is formed by replacing the \.{CWEB} +@z + +@x An omitted change file argument means that |"/dev/null"| should be used, when no changes are desired. @y |