1#!/bin/sh
2#4 July 96 Dan.Shearer@UniSA.edu.au   
3
4INSTALLPERMS=$1
5BASEDIR=`echo $2 | sed 's/\/\//\//g'`
6LIBDIR=`echo $3 | sed 's/\/\//\//g'`
7shift
8shift
9shift
10
11if [ ! -d $LIBDIR ]; then
12  echo Directory $LIBDIR does not exist!
13  echo Do a "make installmodules" or "make install" first.
14  exit 1
15fi
16
17for p in $*; do
18  p2=`basename $p`
19  if [ -f $LIBDIR/$p2 ]; then
20    echo Removing $LIBDIR/$p2
21    rm -f $LIBDIR/$p2
22    if [ -f $LIBDIR/$p2 ]; then
23      echo Cannot remove $LIBDIR/$p2 ... does $USER have privileges?
24    fi
25  fi
26done
27
28
29cat << EOF
30======================================================================
31The modules have been uninstalled. You may restore the modules using
32the command "make installmodules" or "make install" to install 
33binaries, modules, man pages and shell scripts. 
34======================================================================
35EOF
36
37exit 0
38