2
# based on uninstallbin.sh
3
# 4 July 96 Dan.Shearer@UniSA.edu.au
8
if [ ! -d $LIBDIR ]; then
9
echo Directory $LIBDIR does not exist!
10
echo Do a "make installbin" or "make install" first.
16
if [ -f $LIBDIR/$p2 ]; then
17
echo Removing $LIBDIR/$p2
19
if [ -f $LIBDIR/$p2 ]; then
20
echo Cannot remove $LIBDIR/$p2 ... does $USER have privileges?
27
======================================================================
28
The shared libraries have been uninstalled. You may restore the libraries using
29
the command "make installlib" or "make install" to install binaries,
30
man pages, modules and shell scripts. You can restore a previous
31
version of the libraries (if there were any) using "make revert".
32
======================================================================