summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir/pdvitype.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/pdvitype.ch')
-rw-r--r--Build/source/texk/web2c/ptexdir/pdvitype.ch3
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|@>@;