12345678910111213141516171819202122232425 |
- #!/bin/sh
- # $Id: dumphint,v 1.2 2004/08/04 00:55:46 giles Exp $
- # Linearized PDF hint formatting utility.
- # This definition is changed on install to match the
- # executable name set in the makefile
- GS_EXECUTABLE=gs
- OPTIONS="-dSAFER -dDELAYSAFER"
- while true
- do
- case "$1" in
- -*) OPTIONS="$OPTIONS $1" ;;
- *) break ;;
- esac
- shift
- done
- if [ $# -ne 1 ]; then
- echo "Usage: `basename $0` input.pdf" 1>&2
- exit 1
- fi
- exec $GS_EXECUTABLE -q -dNODISPLAY $OPTIONS -- dumphint.ps "$1"
|