summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlgs/lib/dumphint
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlgs/lib/dumphint')
-rw-r--r--Master/tlpkg/tlgs/lib/dumphint30
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"