index 86daa96bc42eed5a051dbb79c333df34c73a8c98..1b7c4cfa38e4c95d6851a7b56f84f884c73c6226 100755 (executable)
#! /bin/sh
-exec ps2pdf "$1" - 2> /dev/null
+
+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
+ params=`grep "^%%BoundingBox:" "$1" | head -n 1 | awk '{ print "-dDEVICEWIDTHPOINTS=" $4 " -dDEVICEHEIGHTPOINTS=" $5; }'`
+fi
+
+exec ps2pdf $params "$1" - 2> /dev/null