diff options
| -rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 5 | ||||
| -rw-r--r-- | Build/source/texk/dvipsk/output.c | 3 |
2 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index c3abfc3a584..bf9db0bf531 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: revert cmdout() and remove lastspecial=1 in jscout(). + Thanks Peter. + +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. diff --git a/Build/source/texk/dvipsk/output.c b/Build/source/texk/dvipsk/output.c index 12d4d8dc7b2..76f3f357625 100644 --- a/Build/source/texk/dvipsk/output.c +++ b/Build/source/texk/dvipsk/output.c @@ -783,7 +783,6 @@ jscout(int c, char *fs) /* string character out */ sprintf(s, "a<%04x>p", c); } cmdout(s); - lastspecial = 1; instring = 0; jflag = 1; strbuffer[0] = '\0'; @@ -804,7 +803,7 @@ cmdout(const char *s) linepos + l >= LINELENGTH) { (void)putc('\n', bitfile); linepos = 0; - } else if (! lastspecial || (linepos > 0 && jflag)) { + } else if (! lastspecial) { (void)putc(' ', bitfile); linepos++; } |