#! /bin/sh # $Id: pdf2dsc,v 1.3 2000/12/29 05:03:49 alexcher Exp $ # psf2dsc: generates an index of a PDF file. # # Yves Arrouye , 1996. # 2000-05-18 lpd added -dSAFER me=`basename $0` usage() { >&2 echo usage: $me "pdffile [ dscfile ]" exit 1 } if [ $# -gt 2 ] then usage fi pdffile=$1 dscfile=$2 : ${dscfile:=`echo $pdffile | sed 's,\.[^/.]*,,'`.dsc} exec gs -q -dNODISPLAY -dSAFER -dDELAYSAFER\ -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit