diff options
Diffstat (limited to 'source4/script/uninstallman.sh')
| -rwxr-xr-x | source4/script/uninstallman.sh | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/source4/script/uninstallman.sh b/source4/script/uninstallman.sh deleted file mode 100755 index edc1c47e4d..0000000000 --- a/source4/script/uninstallman.sh +++ /dev/null @@ -1,27 +0,0 @@ -#!/bin/sh -# 4 July 96 Dan.Shearer@UniSA.edu.au -# Updated for Samba4 by Jelmer Vernooij - -MANDIR=$1 -shift 1 -MANPAGES=$* - -for I in $MANPAGES -do - SECTION=`echo -n $I | sed "s/.*\(.\)$/\1/"` - FNAME=$MANDIR/man$SECTION/$I - if test -f $FNAME; then - echo Deleting $FNAME - rm -f $FNAME - test -f $FNAME && echo Cannot remove $FNAME... does $USER have privileges? - fi -done - -cat << EOF -====================================================================== -The man pages have been uninstalled. You may install them again using -the command "make installman" or make "install" to install binaries, -man pages and shell scripts. -====================================================================== -EOF -exit 0 |