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, 11 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/ps2frag b/Master/bin/x86_64-linux/ps2frag
new file mode 100755
index 00000000000..b8e673be087
--- /dev/null
+++ b/Master/bin/x86_64-linux/ps2frag
@@ -0,0 +1,11 @@
+#!/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