2 #4 July 96 Dan.Shearer@UniSA.edu.au
6 BASEDIR
=`echo $3 | sed 's/\/\//\//g'`
7 LIBDIR
=`echo $4 | sed 's/\/\//\//g'`
13 if [ ! -d $DESTDIR/$LIBDIR ]; then
14 echo "Directory $DESTDIR/$LIBDIR does not exist! "
15 echo "Do a "make installmodules
" or "make install" first. "
21 if [ -f $DESTDIR/$LIBDIR/$p2 ]; then
22 echo "Removing $DESTDIR/$LIBDIR/$p2 "
23 rm -f $DESTDIR/$LIBDIR/$p2
24 if [ -f $DESTDIR/$LIBDIR/$p2 ]; then
25 echo "Cannot remove $DESTDIR/$LIBDIR/$p2 ... does $USER have privileges? "
32 ======================================================================
33 The modules have been uninstalled. You may restore the modules using
34 the command "make installmodules" or "make install" to install
35 binaries, modules, man pages and shell scripts.
36 ======================================================================