|
Last change
on this file since 17223 was 17223, checked in by max, 16 years ago |
|
Add Ghostscript binaries and libraries for windows.
|
|
File size:
585 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh
|
|---|
| 2 | # $Id: dumphint 8773 2008-05-25 02:17:14Z alexcher $
|
|---|
| 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 | gs="`dirname $0`/$GS_EXECUTABLE"
|
|---|
| 9 | if test ! -x "$gs"; then
|
|---|
| 10 | gs="$GS_EXECUTABLE"
|
|---|
| 11 | fi
|
|---|
| 12 | GS_EXECUTABLE="$gs"
|
|---|
| 13 |
|
|---|
| 14 |
|
|---|
| 15 | OPTIONS="-dSAFER -dDELAYSAFER"
|
|---|
| 16 | while true
|
|---|
| 17 | do
|
|---|
| 18 | case "$1" in
|
|---|
| 19 | -?*) OPTIONS="$OPTIONS $1" ;;
|
|---|
| 20 | *) break ;;
|
|---|
| 21 | esac
|
|---|
| 22 | shift
|
|---|
| 23 | done
|
|---|
| 24 |
|
|---|
| 25 | if [ $# -ne 1 ]; then
|
|---|
| 26 | echo "Usage: `basename $0` input.pdf" 1>&2
|
|---|
| 27 | exit 1
|
|---|
| 28 | fi
|
|---|
| 29 |
|
|---|
| 30 | exec "$GS_EXECUTABLE" -q -dNODISPLAY $OPTIONS -- dumphint.ps "$1"
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
