pdf2dsc 521 B

1234567891011121314151617181920212223242526
  1. #! /bin/sh
  2. # $Id: pdf2dsc,v 1.3 2000/12/29 05:03:49 alexcher Exp $
  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. me=`basename $0`
  8. usage() {
  9. >&2 echo usage: $me "pdffile [ dscfile ]"
  10. exit 1
  11. }
  12. if [ $# -gt 2 ]
  13. then
  14. usage
  15. fi
  16. pdffile=$1
  17. dscfile=$2
  18. : ${dscfile:=`echo $pdffile | sed 's,\.[^/.]*,,'`.dsc}
  19. exec gs -q -dNODISPLAY -dSAFER -dDELAYSAFER\
  20. -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit