summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-10-30 13:17:45 +0000
committerHironobu Yamashita <h.y.acetaminophen@gmail.com>2020-10-30 13:17:45 +0000
commitfd1e4eadbec77f734df642c11b14bf90f68c0dcc (patch)
tree85ad897deb5e1f618cd2ae412c46821e0f9af835
parent9e4a288ff4f2b8b9c8ff680cb8a3d4e6e43ebf0b (diff)
pdvitype.ch: fix a bug in previous commit
git-svn-id: svn://tug.org/texlive/trunk@56806 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Build/source/texk/web2c/ptexdir/ChangeLog5
-rw-r--r--Build/source/texk/web2c/ptexdir/pdvitype.ch3
2 files changed, 7 insertions, 1 deletions
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 <h.y.acetaminophen@gmail.com>
+
+ * pdvitype.ch: Strict check for DVI ID was wrong for
+ output-level <= 3; needs reconsider.
+
2020-08-29 Hironobu Yamashita <h.y.acetaminophen@gmail.com>
* 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@>@<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|@>@;