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