summaryrefslogtreecommitdiff
path: root/Build/source/texk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk')
-rw-r--r--Build/source/texk/web2c/pdftexdir/ChangeLog4
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web4
2 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/ChangeLog b/Build/source/texk/web2c/pdftexdir/ChangeLog
index 0907a3c2736..75398711724 100644
--- a/Build/source/texk/web2c/pdftexdir/ChangeLog
+++ b/Build/source/texk/web2c/pdftexdir/ChangeLog
@@ -1,3 +1,7 @@
+2021-11-07 Andreas Scherer <https://ascherer.github.io>
+
+ * pdftex.web: Use WEB meta-comment for stale code.
+
2021-11-05 Karl Berry <karl@freefriends.org>
* pdftex_version.h,
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index 1b0e09c7903..0e06342a728 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -19929,11 +19929,11 @@ begin
end;
print(" has been referenced but does not exist");
print_ln; print_ln;
- {pdf_begin_obj(k, 1);
+ @{pdf_begin_obj(k, 1);
pdf_out("[");
pdf_print_int(head_tab[obj_type_page]);
pdf_print_ln(" 0 R /Fit]");
- pdf_end_obj;}
+ pdf_end_obj;@}
end;
@ @<Check for non-existing structure destinations@>=