diff options
author | Martin Schröder <martin@oneiros.de> | 2008-05-08 14:25:16 +0000 |
---|---|---|
committer | Martin Schröder <martin@oneiros.de> | 2008-05-08 14:25:16 +0000 |
commit | 827cf5621c44c3d315ac95c52c15a23f88d5d44d (patch) | |
tree | 9ec064331f207aa7e08b5057bdae34843df381ef /Build/source/texk/web2c/pdftexdir/pdftex.web | |
parent | ccae75643e0bad3a0450768463491b7760e8ad7c (diff) |
Import pdftex 1.40.8-beta-20080506
git-svn-id: svn://tug.org/texlive/trunk@7945 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 7397beb961f..050154437c6 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -289,7 +289,7 @@ known as `\eTeX'. @# @d pdftex_version==140 { \.{\\pdftexversion} } @d pdftex_revision=="8" { \.{\\pdftexrevision} } -@d pdftex_version_string=='-1.40.8-alpha-20080323' {current \pdfTeX\ version} +@d pdftex_version_string=='-1.40.8-beta-20080506' {current \pdfTeX\ version} @# @d pdfeTeX_banner=='This is pdfeTeX, Version 3.1415926',pdftex_version_string,eTeX_version_string {printed when \pdfeTeX\ starts} @@ -11181,12 +11181,15 @@ pdf_insert_ht_code: begin print("pt"); end; pdf_ximage_bbox_code: begin - case j of - 1: print_scaled(epdf_orig_x(i)); - 2: print_scaled(epdf_orig_y(i)); - 3: print_scaled(epdf_orig_x(i) + image_width(i)); - 4: print_scaled(epdf_orig_y(i) + image_height(i)); - endcases; + if is_pdf_image(i) then begin + case j of + 1: print_scaled(epdf_orig_x(i)); + 2: print_scaled(epdf_orig_y(i)); + 3: print_scaled(epdf_orig_x(i) + image_width(i)); + 4: print_scaled(epdf_orig_y(i) + image_height(i)); + endcases; + end else + print_scaled(0); print("pt"); end; job_name_code: print(job_name); @@ -35846,7 +35849,7 @@ begin image_width(image))); pdf_out(" "); pdf_print_bp(pdf_y(cur_v) - - ext_xn_over_d(pdf_height(p), epdf_orig_y(image), + ext_xn_over_d(pdf_height(p) + pdf_depth(p), epdf_orig_y(image), image_height(image))); end; pdf_print_ln(" cm"); |