diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/comm-w2c.ch')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/comm-w2c.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/comm-w2c.ch b/Build/source/texk/web2c/cwebdir/comm-w2c.ch index f0aa10ca7bf..264d2b2f1e4 100644 --- a/Build/source/texk/web2c/cwebdir/comm-w2c.ch +++ b/Build/source/texk/web2c/cwebdir/comm-w2c.ch @@ -451,7 +451,7 @@ char check_file_name[max_file_name_length]; /* name of |check_file| */ @x show_banner=show_happiness=show_progress=make_xrefs=true; @y -make_xrefs=check_for_change=true; +make_xrefs=true; @z @x |