diff options
Diffstat (limited to 'source4/script/uninstallman.sh')
-rw-r--r-- | source4/script/uninstallman.sh | 28 |
1 files changed, 9 insertions, 19 deletions
diff --git a/source4/script/uninstallman.sh b/source4/script/uninstallman.sh index 3126709831..72b523ed9e 100644 --- a/source4/script/uninstallman.sh +++ b/source4/script/uninstallman.sh @@ -1,30 +1,20 @@ #!/bin/sh -#4 July 96 Dan.Shearer@UniSA.edu.au -# -# 13 Aug 2001 Rafal Szczesniak <mimir@spin.ict.pwr.wroc.pl> -# modified to accomodate international man pages (inspired -# by Japanese edition's approach) - +# 4 July 96 Dan.Shearer@UniSA.edu.au +# Updated for Samba4 by Jelmer Vernooij MANDIR=$1 -SRCDIR=$2 -langs=$3 - -for lang in $langs; do - echo Uninstalling \"$lang\" man pages from $MANDIR/$lang +shift 1 +MANPAGES=$* - for sect in 1 5 7 8 ; do - for m in $MANDIR/$lang/man$sect ; do - for s in $SRCDIR/../docs/manpages/$lang/*$sect; do - FNAME=$m/`basename $s` +for I in $MANPAGES +do + SECTION=`echo $I | grep -o '.$'` + 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 - done - done + fi done cat << EOF |