source/script/uninstallman.sh

   1 #!/bin/sh
   2 # 4 July 96 Dan.Shearer@UniSA.edu.au
   3 # Updated for Samba4 by Jelmer Vernooij
   4
   5 MANDIR=$1
   6 shift 1
   7 MANPAGES=$*
   8
   9 for I in $MANPAGES
  10 do
  11         SECTION=`echo $I | grep -o '.$'`
  12         FNAME=$MANDIR/man$SECTION/$I
  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
  20 cat << EOF
  21 ======================================================================
  22 The man pages have been uninstalled. You may install them again using
  23 the command "make installman" or make "install" to install binaries,
  24 man pages and shell scripts.
  25 ======================================================================
  26 EOF
  27 exit 0