diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2019-05-29 15:34:04 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2019-05-29 15:34:04 +0000 |
commit | 5037bdc1717a225cd63b0bcf55522ca66f3d0841 (patch) | |
tree | 57b4328dc1db1f8a4e86ea232b572faf4d4d06b8 /Build/source/texk/web2c/cwebdir/comm-w2c.ch | |
parent | 18b6a1b84ea295d8f6157d9845f6c5b92345af43 (diff) |
Minor changes to common change and header files.
git-svn-id: svn://tug.org/texlive/trunk@51258 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.ch | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/cwebdir/comm-w2c.ch b/Build/source/texk/web2c/cwebdir/comm-w2c.ch index 9a0c8dd12f1..30c01f95be8 100644 --- a/Build/source/texk/web2c/cwebdir/comm-w2c.ch +++ b/Build/source/texk/web2c/cwebdir/comm-w2c.ch @@ -946,14 +946,9 @@ scan_args(void) @ We use all of |*argv| for the |web_file_name| if there is a |'.'| in it, otherwise we add |".w"|. If this file can't be opened, we prepare an |alt_web_file_name| by adding |"web"| after the dot. -The other file names come from adding other things -after the dot. We must check that there is enough room in -|web_file_name| and the other arrays for the argument. @y @ We use all of |*argv| for the |web_file_name| if there is a |'.'| in it, -otherwise we add |".w"|. The other file names come from adding other things -after the dot. We must check that there is enough room in |web_file_name| and -the other arrays for the argument. +otherwise we add |".w"|. @z @x |