home *** CD-ROM | disk | FTP | other *** search
/ Chip 2002 October / Chip_2002-10_cd1.bin / zkuste / pdf / download / gs704w32.exe / gs7.04 / lib / pdf2dsc < prev    next >
Encoding:
Text File  |  2002-01-31  |  547 b   |  27 lines
  1. #! /bin/sh
  2. # $Id: pdf2dsc,v 1.3 2000/12/29 05:03:49 alexcher Exp $
  3.  
  4. # psf2dsc: generates an index of a PDF file.
  5. #
  6. # Yves Arrouye <arrouye@debian.org>, 1996.
  7. # 2000-05-18 lpd <ghost@aladdin.com> added -dSAFER
  8.  
  9. me=`basename $0`
  10.  
  11. usage() {
  12.     >&2 echo usage: $me "pdffile [ dscfile ]"
  13.     exit 1
  14. }
  15.  
  16. if [ $# -gt 2 ]
  17. then
  18.     usage
  19. fi
  20.  
  21. pdffile=$1
  22. dscfile=$2
  23. : ${dscfile:=`echo $pdffile | sed 's,\.[^/.]*,,'`.dsc}
  24.  
  25. exec gs -q -dNODISPLAY -dSAFER -dDELAYSAFER\
  26.     -sPDFname="$pdffile" -sDSCname="$dscfile" pdf2dsc.ps -c quit
  27.