diff options
-rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/dvipsk/output.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index a14c8da07aa..c3abfc3a584 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -1,5 +1,10 @@ 2010-05-05 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + * output.c: rewrite the previous fix not to change the output format + for non-pTeX dvi. + +2010-05-05 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + * output.c: minor fix of the function cmdout(). Without the fix, broken ps is generated for pTeX's dvi. diff --git a/Build/source/texk/dvipsk/output.c b/Build/source/texk/dvipsk/output.c index c31fa831f94..12d4d8dc7b2 100644 --- a/Build/source/texk/dvipsk/output.c +++ b/Build/source/texk/dvipsk/output.c @@ -804,7 +804,7 @@ cmdout(const char *s) linepos + l >= LINELENGTH) { (void)putc('\n', bitfile); linepos = 0; - } else if (! lastspecial || linepos > 0) { + } else if (! lastspecial || (linepos > 0 && jflag)) { (void)putc(' ', bitfile); linepos++; } |