diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-25 15:11:03 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2020-05-25 15:11:03 +0000 |
commit | 17a62a7784449c098bd7350b94b79c2d34d0a70f (patch) | |
tree | 292274ff8c785ab500ca2df9e0cde4a017e95e2d /Build/source/texk/web2c/weave.ch | |
parent | 6d7616c19a1acf8d811a71a5b03d40557cfd3c8c (diff) |
[WEB2C] Spell checking of *.ch files.
git-svn-id: svn://tug.org/texlive/trunk@55270 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/weave.ch')
-rw-r--r-- | Build/source/texk/web2c/weave.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch index c1530e6cfb2..cf5435e873f 100644 --- a/Build/source/texk/web2c/weave.ch +++ b/Build/source/texk/web2c/weave.ch @@ -254,7 +254,7 @@ var q:xref_number; {pointer to previous cross reference} begin if (reserved(p)or(byte_start[p]+1=byte_start[p+ww]))and @y If the user has sent the |no_xref| flag (the -x option of the command line), -then it is unnecessary to keep track of cross references for identifers. +then it is unnecessary to keep track of cross references for identifiers. If one were careful, one could probably make more changes around module 100 to avoid a lot of identifier looking up. |