summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir/comm-w2c.ch
diff options
context:
space:
mode:
authorAndreas Scherer <andreas_tex@freenet.de>2020-04-29 12:27:33 +0000
committerAndreas Scherer <andreas_tex@freenet.de>2020-04-29 12:27:33 +0000
commit6c709749d4346f60915789274fb6baab0f254926 (patch)
treec645edb1c147464eb0015af9f1f950f12f5c28dc /Build/source/texk/web2c/cwebdir/comm-w2c.ch
parent6dfd844029ee24f9e97f418e80d082d41560cf47 (diff)
[CWEB] Purge irrelevant mention of .web extension.
CWEB in TeX Live appends only '.w' to source files on the command-line, not the Pascal-oriented '.web'. git-svn-id: svn://tug.org/texlive/trunk@54934 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/comm-w2c.ch')
-rw-r--r--Build/source/texk/web2c/cwebdir/comm-w2c.ch8
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