summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
diff options
context:
space:
mode:
authorHan The Thanh <hanthethanh@gmail.com>2010-05-07 08:05:55 +0000
committerHan The Thanh <hanthethanh@gmail.com>2010-05-07 08:05:55 +0000
commitecc7e87ccffc19c4550f5b2452688a8fb3006aa8 (patch)
tree901934572b9eca0caabc1a0e696f27ad6286b7d3 /Build/source/texk/web2c
parentd6b3a7fd1d393ac88abf910c07f6fe8371ce9fd4 (diff)
minor fix for pdftex
git-svn-id: svn://tug.org/texlive/trunk@18141 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web11
1 files changed, 6 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index b3089f04d9a..1b59712a644 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -10835,8 +10835,9 @@ pdf_page_ref_code: begin
pdf_error("pageref", "invalid page number");
end;
left_margin_kern_code, right_margin_kern_code: begin
- scan_int;
- if (box(cur_val) = null) or (type(box(cur_val)) <> hlist_node) then
+ scan_register_num;
+ fetch_box(p);
+ if (p = null) or (type(p) <> hlist_node) then
pdf_error("marginkern", "a non-empty hbox expected")
end;
pdf_xform_name_code: begin
@@ -11179,7 +11180,7 @@ pdf_font_size_code: begin
end;
pdf_page_ref_code: print_int(get_obj(obj_type_page, cur_val, false));
left_margin_kern_code: begin
- p := list_ptr(box(cur_val));
+ p := list_ptr(p);
while (p <> null) and
(cp_skipable(p) or
((not is_char_node(p)) and (type(p) = glue_node) and (subtype(p) = left_skip_code + 1)))
@@ -11193,7 +11194,7 @@ left_margin_kern_code: begin
print("pt");
end;
right_margin_kern_code: begin
- q := list_ptr(box(cur_val));
+ q := list_ptr(p);
p := prev_rightmost(q, null);
while (p <> null) and
(cp_skipable(p) or
@@ -33804,7 +33805,7 @@ begin
end
else
obj_xform_resources(k) := null;
- scan_int;
+ scan_register_num;
fetch_box(p);
if p = null then
pdf_error("ext1", "\pdfxform cannot be used with a void box");