share/extensions/ps2pdf.sh

   1 #! /bin/sh
   2
   3 params=`grep "^%%DocumentMedia:" "$1" | head -n 1 | awk '{  if (NF==7) { if ($2!="plain") print "-sPAPERSIZE=" $2; else print "-dDEVICEWIDTHPOINTS=" $3 " -dDEVICEHEIGHTPOINTS=" $4; } }'`
   4
   5 if [ "x${params}x" == "xx" ]
   6 then
   7         params=`grep "^%%BoundingBox:" "$1" | head -n 1 | awk '{ print "-dDEVICEWIDTHPOINTS=" $4 " -dDEVICEHEIGHTPOINTS=" $5; }'`
   8 fi
   9
  10 exec ps2pdf $params "$1" - 2> /dev/null