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