diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c b/Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c index dcb17129c1d..a0f1c6d744c 100644 --- a/Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c +++ b/Build/source/texk/dvi2tty/dvi2tty-src/dvistuff.c @@ -361,7 +361,7 @@ void preamble(void) { mseek(DVIfile, 0L, absolute); /* read the dvifile from the start */ - if ((opcode = skipnops()) != PRE) + if ((opcode = (int) num(1)) != PRE) errorexit(nopre); opcode = (int) get1(); /* check id in preamble, ignore rest of it */ if (opcode != VERSIONID) @@ -881,8 +881,15 @@ int skipnops(void) { register int opcode; - while ((opcode = (int) num(1)) == NOP); - + while (opcode = (int) num(1)) { + if (opcode >= FNT_DEF1 && opcode <= FNT_DEF4) { + fontdef(opcode - FNT_DEF1 + 1); + continue; + } + else if (opcode == NOP) + continue; + break; + } return opcode; } /* skipnops */ |