2
#4 July 96 Dan.Shearer@UniSA.edu.au
6
prefix=`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
======================================================================