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.