source/script/uninstallman.sh

   1 #!/bin/sh
   2 #4 July 96 Dan.Shearer@UniSA.edu.au
   3 #
   4 # 13 Aug 2001  Rafal Szczesniak <mimir@spin.ict.pwr.wroc.pl>
   5 #   modified to accomodate international man pages (inspired
   6 #   by Japanese edition's approach)
   7
   8
   9 MANDIR=`echo $1 | sed 's/\/\//\//g'`
  10 SRCDIR=$2
  11 langs=$3
  12
  13 for lang in $langs; do
  14   echo Uninstalling \"$lang\" man pages from $MANDIR/$lang
  15
  16   for sect in 1 5 7 8 ; do
  17     for m in $MANDIR/$lang/man$sect ; do
  18       for s in $SRCDIR/../docs/manpages/$lang/*$sect; do
  19         FNAME=$m/`basename $s`
  20         if test -f $FNAME; then
  21           echo Deleting $FNAME
  22           rm -f $FNAME
  23           test -f $FNAME && echo Cannot remove $FNAME... does $USER have privileges?
  24         fi
  25       done
  26     done
  27   done
  28 done
  29
  30 cat << EOF
  31 ======================================================================
  32 The man pages have been uninstalled. You may install them again using
  33 the command "make installman" or make "install" to install binaries,
  34 man pages and shell scripts.
  35 ======================================================================
  36 EOF
  37 exit 0