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
11 echo Installing scripts
in $BINDIR
13 for d
in [ $BINDIR ]; do
17 echo Failed to
make directory
$d
18 echo Have you run installbin first?
25 echo Installing
$BINDIR/$p
27 if [ ! -f $BINDIR/$p ]; then
28 echo Cannot copy
$p... does
$USER have privileges?
30 echo Setting permissions on
$BINDIR/$p
31 chmod $INSTALLPERMS $BINDIR/$p
35 ======================================================================
36 The scripts have been installed. You may uninstall them using
37 the command "make uninstallscripts" or "make install" to install binaries,
38 man pages and shell scripts. You may recover the previous version (if any
40 ======================================================================