home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / usr / bin / dumphint < prev    next >
Encoding:
Text File  |  2006-11-28  |  477 b   |  26 lines

  1. #!/bin/sh
  2. # $Id: dumphint 6300 2005-12-28 19:56:24Z giles $
  3. # Linearized PDF hint formatting utility.
  4.  
  5. # This definition is changed on install to match the
  6. # executable name set in the makefile
  7. GS_EXECUTABLE=gs
  8.  
  9.  
  10. OPTIONS="-dSAFER -dDELAYSAFER"
  11. while true
  12. do
  13.     case "$1" in
  14.     -*) OPTIONS="$OPTIONS $1" ;;
  15.     *)  break ;;
  16.     esac
  17.     shift
  18. done
  19.  
  20. if [ $# -ne 1 ]; then
  21.     echo "Usage: `basename $0` input.pdf" 1>&2
  22.     exit 1
  23. fi
  24.  
  25. exec $GS_EXECUTABLE -q -dNODISPLAY $OPTIONS -- dumphint.ps "$1"
  26.