1#!/bin/sh 2# $Id: dumphint,v 1.2 2004/08/04 00:55:46 giles Exp $ 3# Linearized PDF hint formatting utility. 4 5# This definition is changed on install to match the 6# executable name set in the makefile 7GS_EXECUTABLE=gs 8 9 10OPTIONS="-dSAFER -dDELAYSAFER" 11while true 12do 13 case "$1" in 14 -*) OPTIONS="$OPTIONS $1" ;; 15 *) break ;; 16 esac 17 shift 18done 19 20if [ $# -ne 1 ]; then 21 echo "Usage: `basename $0` input.pdf" 1>&2 22 exit 1 23fi 24 25exec $GS_EXECUTABLE -q -dNODISPLAY $OPTIONS -- dumphint.ps "$1" 26