diff options
author | Karl Berry <karl@freefriends.org> | 2010-01-03 18:45:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-01-03 18:45:56 +0000 |
commit | 0dad310636511861e7cb5ba0974c818fdf1c1377 (patch) | |
tree | 42430224aad78b7fab403f793329b895b24702ac /Build/source/texk/dvipsk/output.c | |
parent | 15f554902e0d3fd0d8ed695458d290e26aa546fd (diff) |
avoid deletion of newline after %%BeginFont and the like with -K1, report from T S, 1 Jan 2010 16:32:16
git-svn-id: svn://tug.org/texlive/trunk@16584 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/output.c')
-rw-r--r-- | Build/source/texk/dvipsk/output.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/output.c b/Build/source/texk/dvipsk/output.c index cc899b50cd3..687dc817039 100644 --- a/Build/source/texk/dvipsk/output.c +++ b/Build/source/texk/dvipsk/output.c @@ -310,8 +310,10 @@ msdosdone: char *p = possibleDSCLine ; *dscLinePointer = 0 ; *dscLineEnd = 0 ; - if (scanForEnd == 0 && removecomments) + if (scanForEnd == 0 && removecomments) { (void)fputs(possibleDSCLine, bitfile) ; + (void)putc('\n', bitfile) ; + } if (strncmp(possibleDSCLine, "%%BeginFont:", 12) == 0) { |