diff options
| -rw-r--r-- | Build/source/texk/web2c/ChangeLog | 5 | ||||
| -rw-r--r-- | Build/source/texk/web2c/weave.ch | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/weave.web | 2 |
3 files changed, 8 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index fff0c1e135c..92487496c2b 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,8 @@ +2021-01-30 Karl Berry <karl@freefriends.org> + + * weave.web, + * weave.ch (banner): should have been 4.5. Report from Wolfgang Helbig. + 2021-01-29 Karl Berry <karl@freefriends.org> * NEWS: mention tuneup. diff --git a/Build/source/texk/web2c/weave.ch b/Build/source/texk/web2c/weave.ch index e9b33aa29b2..8c11a9d9966 100644 --- a/Build/source/texk/web2c/weave.ch +++ b/Build/source/texk/web2c/weave.ch @@ -56,10 +56,10 @@ @z @x [1] Define my_name -@d banner=='This is WEAVE, Version 4.4' +@d banner=='This is WEAVE, Version 4.5' @y @d my_name=='weave' -@d banner=='This is WEAVE, Version 4.4' +@d banner=='This is WEAVE, Version 4.5' @z @x [2] No global labels, define and call parse_arguments. diff --git a/Build/source/texk/web2c/weave.web b/Build/source/texk/web2c/weave.web index 13f06ded0ac..3d0347645d2 100644 --- a/Build/source/texk/web2c/weave.web +++ b/Build/source/texk/web2c/weave.web @@ -74,7 +74,7 @@ dependencies' in the index below. The ``banner line'' defined here should be changed whenever \.{WEAVE} is modified. -@d banner=='This is WEAVE, Version 4.4' +@d banner=='This is WEAVE, Version 4.5' @ The program begins with a fairly normal header, made up of pieces that @^system dependencies@> |