s3: Survive an idle child that was killed
[Samba.git] / source4 / script / uninstallman.sh
blobedc1c47e4df84ae8985ba8dc86bec32c50e9b418
1 #!/bin/sh
2 # 4 July 96 Dan.Shearer@UniSA.edu.au
3 # Updated for Samba4 by Jelmer Vernooij
5 MANDIR=$1
6 shift 1
7 MANPAGES=$*
9 for I in $MANPAGES
11 SECTION=`echo -n $I | sed "s/.*\(.\)$/\1/"`
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?
18 done
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