diff options
author | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2020-10-30 13:17:45 +0000 |
---|---|---|
committer | Hironobu Yamashita <h.y.acetaminophen@gmail.com> | 2020-10-30 13:17:45 +0000 |
commit | fd1e4eadbec77f734df642c11b14bf90f68c0dcc (patch) | |
tree | 85ad897deb5e1f618cd2ae412c46821e0f9af835 /Build/source/texk/web2c/ptexdir/pdvitype.ch | |
parent | 9e4a288ff4f2b8b9c8ff680cb8a3d4e6e43ebf0b (diff) |
pdvitype.ch: fix a bug in previous commit
git-svn-id: svn://tug.org/texlive/trunk@56806 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/pdvitype.ch')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/pdvitype.ch | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/ptexdir/pdvitype.ch b/Build/source/texk/web2c/ptexdir/pdvitype.ch index 44dc09f2e43..864d1c41ef7 100644 --- a/Build/source/texk/web2c/ptexdir/pdvitype.ch +++ b/Build/source/texk/web2c/ptexdir/pdvitype.ch @@ -286,7 +286,8 @@ endif('HEX_CHAR_CODE') @t\4@>@<Cases for commands |nop|, |bop|, \dots, |pop|@>@; @y dir: begin - if not ptex_p then bad_dvi('dir command within normal dvi file'); + if not ptex_p and (out_mode=the_works) then + bad_dvi('dir command within normal dvi file'); major('dir ',p:1); dd:=p; goto done; end; @t\4@>@<Cases for commands |nop|, |bop|, \dots, |pop|@>@; |