#!/bin/sh BBPS=`dirname $0`/bb.ps for file in $* ; do echo $file bbox=`gs -q -dBATCH -dNODISPLAY -dNOPAUSE $BBPS $file` ed -s $file <