diff options
Diffstat (limited to 'Master/tlpkg/tlgs/lib/dumphint')
-rw-r--r-- | Master/tlpkg/tlgs/lib/dumphint | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/Master/tlpkg/tlgs/lib/dumphint b/Master/tlpkg/tlgs/lib/dumphint deleted file mode 100644 index 88e437643d8..00000000000 --- a/Master/tlpkg/tlgs/lib/dumphint +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh
-# $Id: dumphint 8107 2007-07-05 19:04:29Z till $
-# Linearized PDF hint formatting utility.
-
-# This definition is changed on install to match the
-# executable name set in the makefile
-GS_EXECUTABLE=gs
-gs="`dirname $0`/$GS_EXECUTABLE"
-if test ! -x "$gs"; then
- gs="$GS_EXECUTABLE"
-fi
-GS_EXECUTABLE="$gs"
-
-
-OPTIONS="-dSAFER -dDELAYSAFER"
-while true
-do
- case "$1" in
- -*) OPTIONS="$OPTIONS $1" ;;
- *) break ;;
- esac
- shift
-done
-
-if [ $# -ne 1 ]; then
- echo "Usage: `basename $0` input.pdf" 1>&2
- exit 1
-fi
-
-exec "$GS_EXECUTABLE" -q -dNODISPLAY $OPTIONS -- dumphint.ps "$1"
|