diff options
| -rwxr-xr-x | share/extensions/ps2pdf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/extensions/ps2pdf.sh b/share/extensions/ps2pdf.sh index 3e77ec30a..61b6dd146 100755 --- a/share/extensions/ps2pdf.sh +++ b/share/extensions/ps2pdf.sh @@ -3,7 +3,7 @@ params=`grep "^%%DocumentMedia:" "$1" | head -n 1 | awk '{ if (NF==7) { if ($2!="plain") print "-sPAPERSIZE=" $2; else print "-dDEVICEWIDTHPOINTS=" $3 " -dDEVICEHEIGHTPOINTS=" $4; } }'` if [ "x${params}x" = "xx" ] -then +then params=`grep "^%%BoundingBox:" "$1" | head -n 1 | awk '{ print "-dDEVICEWIDTHPOINTS=" $4 " -dDEVICEHEIGHTPOINTS=" $5; }'` fi |