scripts/topdf

   1 #!/bin/sh
   2
   3
   4 bbox () {
   5   x=$1
   6   y=$2
   7   w=$3
   8   h=$4
   9 }
  10
  11 while [ -n "$1" ]; do
  12   bbox $(sed -n -e "s/^%%BoundingBox: //p" $1)
  13   ps2pdf -dDEVICEWIDTHPOINTS=$w -dDEVICEHEIGHTPOINTS=$h $1
  14   shift
  15 done