diff options
| author | Luigi Scarso <luigi.scarso@gmail.com> | 2023-12-31 12:06:01 +0000 |
|---|---|---|
| committer | Luigi Scarso <luigi.scarso@gmail.com> | 2023-12-31 12:06:01 +0000 |
| commit | 7da3c81f16c9b42d0ef0c040a37a8d9c01339e4b (patch) | |
| tree | b5c31fcac08cebd5cbbd0bf907e2200e94c3d80b /Build/source/texk/web2c/mplibdir | |
| parent | fd3c1cb901de7e781c688fa1bdf0dabe00b36694 (diff) | |
`verbatim_written = 1;` is done at least after the first time the text is write down to the file.
git-svn-id: svn://tug.org/texlive/trunk@69248 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mplibdir')
| -rw-r--r-- | Build/source/texk/web2c/mplibdir/mpxout.w | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mpxout.w b/Build/source/texk/web2c/mplibdir/mpxout.w index 3fb484887bf..39ebe328bd3 100644 --- a/Build/source/texk/web2c/mplibdir/mpxout.w +++ b/Build/source/texk/web2c/mplibdir/mpxout.w @@ -656,11 +656,11 @@ static void mpx_mpto(MPX mpx, char *tmpname, char *mptexpre) { mpx_copy_mpto(mpx, outfile, FIRST_VERBATIM_TEX); else mpx_copy_mpto(mpx, outfile, VERBATIM_TEX); + verbatim_written = 1; fprintf(outfile,"%s", mpx_postverb[mode]); } else { mpx_error(mpx,"unmatched etex"); } - verbatim_written = 1; } } |