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