diff options
Diffstat (limited to 'Build/source/texk/dvipsk/output.c')
-rw-r--r-- | Build/source/texk/dvipsk/output.c | 3 |
1 files changed, 1 insertions, 2 deletions
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++; } |