|
1234567891011121314151617181920212223242526272829303132333435 |
- #! /bin/sh
-
-
-
-
-
-
-
-
-
- GS_EXECUTABLE=gs
- gs="`dirname $0`/$GS_EXECUTABLE"
- if test ! -x "$gs"; then
- gs="$GS_EXECUTABLE"
- fi
- GS_EXECUTABLE="$gs"
-
- 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_EXECUTABLE" -q -dNODISPLAY -dSAFER -dDELAYSAFER\
- -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit
|