blob: b8e673be0870ec3fa79b0f6962f25e50bc511bec (
plain)
1
2
3
4
5
6
7
8
9
10
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
|