From fd1e4eadbec77f734df642c11b14bf90f68c0dcc Mon Sep 17 00:00:00 2001 From: Hironobu Yamashita Date: Fri, 30 Oct 2020 13:17:45 +0000 Subject: pdvitype.ch: fix a bug in previous commit git-svn-id: svn://tug.org/texlive/trunk@56806 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/texk/web2c/ptexdir/ChangeLog | 5 +++++ Build/source/texk/web2c/ptexdir/pdvitype.ch | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/Build/source/texk/web2c/ptexdir/ChangeLog b/Build/source/texk/web2c/ptexdir/ChangeLog index 3dbd732db7e..c2643d79113 100644 --- a/Build/source/texk/web2c/ptexdir/ChangeLog +++ b/Build/source/texk/web2c/ptexdir/ChangeLog @@ -1,3 +1,8 @@ +2020-10-30 Hironobu Yamashita + + * pdvitype.ch: Strict check for DVI ID was wrong for + output-level <= 3; needs reconsider. + 2020-08-29 Hironobu Yamashita * pdvitype.ch: Support dtou direction. Strict check for DVI ID 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@>@@; @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@>@@; -- cgit v1.2.3