1#! /bin/sh 2 3# psf2dsc: generates an index of a PDF file. 4# 5# Yves Arrouye <arrouye@debian.org>, 1996. 6# 2000-05-18 lpd <ghost@aladdin.com> added -dSAFER 7 8# This definition is changed on install to match the 9# executable name set in the makefile 10GS_EXECUTABLE=gs 11gs="`dirname \"$0\"`/$GS_EXECUTABLE" 12if test ! -x "$gs"; then 13 gs="$GS_EXECUTABLE" 14fi 15GS_EXECUTABLE="$gs" 16 17me=`basename $0` 18 19usage() { 20 >&2 echo usage: $me "pdffile [ dscfile ]" 21 exit 1 22} 23 24if [ $# -gt 2 ] 25then 26 usage 27fi 28 29pdffile=$1 30dscfile=$2 31: ${dscfile:=`echo $pdffile | sed 's,\.[^/.]*,,'`.dsc} 32 33exec "$GS_EXECUTABLE" -q -dNODISPLAY -P- -dSAFER -dDELAYSAFER\ 34 -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit 35