diff options
Diffstat (limited to 'Build/source/texk/web2c/ctiedir/ctie-k.ch')
-rw-r--r-- | Build/source/texk/web2c/ctiedir/ctie-k.ch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ctiedir/ctie-k.ch b/Build/source/texk/web2c/ctiedir/ctie-k.ch index 978737bf762..55539f2fd09 100644 --- a/Build/source/texk/web2c/ctiedir/ctie-k.ch +++ b/Build/source/texk/web2c/ctiedir/ctie-k.ch @@ -567,6 +567,16 @@ static boolean e_of_ch_preamble (file_index i) @z +@x l.1079 +if (out_mode==post) /* last line has been changed */ + fprintf(out_file, "@@z\n"); +@y +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 void usage_error() { |