diff options
-rw-r--r-- | Build/source/texk/seetexk/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/seetexk/dviconcat.c | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/Build/source/texk/seetexk/ChangeLog b/Build/source/texk/seetexk/ChangeLog index 29acaa675e9..1538a05de2c 100644 --- a/Build/source/texk/seetexk/ChangeLog +++ b/Build/source/texk/seetexk/ChangeLog @@ -1,3 +1,8 @@ +2019-02-22 Hironobu Yamashita <h.y.acetaminophen@gmail.com> + + * dviconcat.c: Set DVI ID to 3 if at least one input DVI file + contains opcode 255. + 2017-06-23 TANAKA Takuji <ttk@t-lab.opal.ne.jp> * dvibook.c, dviconcat.c, dviselect.c, dvitodvi.c, error.h: diff --git a/Build/source/texk/seetexk/dviconcat.c b/Build/source/texk/seetexk/dviconcat.c index db9f5cc5587..447c1228302 100644 --- a/Build/source/texk/seetexk/dviconcat.c +++ b/Build/source/texk/seetexk/dviconcat.c @@ -388,9 +388,6 @@ doit(const char *name, FILE *fp) { static int started; -#ifdef ASCIIPTEX - ptexdvi = 0; -#endif DVIFileName = name; inf = fp; if (HandlePreAmble(started ? 0 : 1)) @@ -459,6 +456,9 @@ usage: if ((FontFinder = SCreate(sizeof(struct fontinfo *))) == 0) error(1, 0, "cannot create font finder (out of memory?)"); StartOfLastPage = -1; +#ifdef ASCIIPTEX + ptexdvi = 0; +#endif /* * Concatenate the named input file(s). |