source/script/uninstallman.sh

   1 #!/bin/sh
   2 #4 July 96 Dan.Shearer@UniSA.edu.au
   3
   4 MANDIR=$1
   5 SRCDIR=$2
   6
   7 echo Uninstalling man pages from $MANDIR
   8
   9 for sect in 1 5 7 8 ; do
  10   for m in $MANDIR/man$sect ; do
  11     for s in $SRCDIR/../docs/manpages/*$sect; do
  12       FNAME=$m/`basename $s`
  13       if test -f $FNAME; then
  14         echo Deleting $FNAME
  15         rm -f $FNAME
  16         test -f $FNAME && echo Cannot remove $FNAME... does $USER have privileges?
  17       fi
  18     done
  19   done
  20 done
  21
  22 cat << EOF
  23 ======================================================================
  24 The man pages have been uninstalled. You may install them again using
  25 the command "make installman" or make "install" to install binaries,
  26 man pages and shell scripts.
  27 ======================================================================
  28 EOF
  29 exit 0