diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 89df2d0e444..54218a8b879 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -19327,8 +19327,10 @@ begin cur_area := ""; cur_ext := ""; pack_cur_name; - if not tex_b_openin(f) then + if not tex_b_openin(f) then begin + print_nl("! "); print(s); print(" not found."); pdf_error("ext5", "cannot open file for embedding"); + end; print("<<"); print(s); if not eof(f) then begin {at least one byte available} |