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