2
# this script courtesy of James_K._Foote.PARC@xerox.com
3
# 5 July 96 Dan.Shearer@UniSA.Edu.Au Don't hardcode script names, get from Make
6
BINDIR=`echo $2 | sed 's/\/\//\//g'`
11
echo Installing scripts in $BINDIR
17
echo Failed to make directory $d
18
echo Have you run installbin first?
26
echo Installing $BINDIR/$p2
27
if [ -f $BINDIR/$p2 ]; then
29
mv $BINDIR/$p2 $BINDIR/$p2.old
32
chmod $INSTALLPERMS $BINDIR/$p2
33
if [ ! -f $BINDIR/$p2 ]; then
34
echo Cannot copy $p2... does $USER have privileges?
39
======================================================================
40
The scripts have been installed. You may uninstall them using
41
the command "make uninstallscripts" or "make install" to install binaries,
42
man pages and shell scripts. You may recover the previous version (if any
44
======================================================================