diff options
| author | Andreas Scherer <andreas_tex@freenet.de> | 2023-05-21 18:01:44 +0000 |
|---|---|---|
| committer | Andreas Scherer <andreas_tex@freenet.de> | 2023-05-21 18:01:44 +0000 |
| commit | 19f034a9f7cb68d76f4c0cfb5f176abe8c88f969 (patch) | |
| tree | 67f2f472e5d6d8ef55883af0f3d380b1ff3063e8 /Build/source | |
| parent | 3e646b882254786feefc3b33adc3f2195e87696a (diff) | |
[CWEB] End the last change with out_mode==post.
git-svn-id: svn://tug.org/texlive/trunk@67180 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/texk/web2c/ctiedir/ctie-k.ch | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 10 |
2 files changed, 6 insertions, 8 deletions
diff --git a/Build/source/texk/web2c/ctiedir/ctie-k.ch b/Build/source/texk/web2c/ctiedir/ctie-k.ch index 55539f2fd09..3bb1f763e6b 100644 --- a/Build/source/texk/web2c/ctiedir/ctie-k.ch +++ b/Build/source/texk/web2c/ctiedir/ctie-k.ch @@ -571,10 +571,10 @@ e_of_ch_preamble (file_index i) if (out_mode==post) /* last line has been changed */ fprintf(out_file, "@@z\n"); @y +if (out_mode==pre) /* last line has been deleted */ + fprintf(out_file, "@@y\n"), out_mode=post; if (out_mode==post) /* last line has been changed */ fprintf(out_file, "@@z\n"); -else if (out_mode==pre) /* last line has been deleted */ - fprintf(out_file, "@@y\n@@z\n"); @z @x l.1106 diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index f4e41e7a26a..61b4e904167 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -418,13 +418,11 @@ if (out_mode==post) { /* last line has been changed */ new_line(out_file); } @y -if (out_mode==post) { /* last line has been changed */ - fputc(map_xchr(@'@@'),out_file); fputc(map_xchr(@'z'),out_file); - new_line(out_file); - } -else if (out_mode==pre) { /* last line has been deleted */ +if (out_mode==pre) { /* last line has been deleted */ fputc(map_xchr(@'@@'),out_file); fputc(map_xchr(@'y'),out_file); - new_line(out_file); + new_line(out_file); out_mode=post; + } +if (out_mode==post) { /* last line has been changed */ fputc(map_xchr(@'@@'),out_file); fputc(map_xchr(@'z'),out_file); new_line(out_file); } |