1#!/bin/sh 2#4 July 96 Dan.Shearer@UniSA.edu.au 3 4MANDIR=$1 5SRCDIR=$2 6 7echo Uninstalling man pages from $MANDIR 8 9for 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 20done 21 22cat << EOF 23====================================================================== 24The man pages have been uninstalled. You may install them again using 25the command "make installman" or make "install" to install binaries, 26man pages and shell scripts. 27====================================================================== 28EOF 29exit 0 30