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