summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/ps2frag
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/x86_64-linux/ps2frag')
-rwxr-xr-xMaster/bin/x86_64-linux/ps2frag11
1 files changed, 0 insertions, 11 deletions
diff --git a/Master/bin/x86_64-linux/ps2frag b/Master/bin/x86_64-linux/ps2frag
deleted file mode 100755
index b8e673be087..00000000000
--- a/Master/bin/x86_64-linux/ps2frag
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh
-
-tty -s && {
- echo
- echo "Warning: the ps2frag script is not needed with this version of psfrag."
- echo "Please read the manpage ps2frag(1) and the documentation of the"
- echo "psfrag package."
- echo
-} >&2
-
-exit 0