summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web4
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}