diff options
Diffstat (limited to 'source3/script/uninstallman.sh')
| -rwxr-xr-x | source3/script/uninstallman.sh | 28 |
1 files changed, 18 insertions, 10 deletions
diff --git a/source3/script/uninstallman.sh b/source3/script/uninstallman.sh index 873ca4f720..3126709831 100755 --- a/source3/script/uninstallman.sh +++ b/source3/script/uninstallman.sh @@ -1,20 +1,28 @@ #!/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) + MANDIR=$1 SRCDIR=$2 +langs=$3 -echo Uninstalling man pages from $MANDIR +for lang in $langs; do + echo Uninstalling \"$lang\" man pages from $MANDIR/$lang -for sect in 1 5 7 8 ; do - for m in $MANDIR/man$sect ; do - for s in $SRCDIR/../docs/manpages/*$sect; do - FNAME=$m/`basename $s` - if test -f $FNAME; then - echo Deleting $FNAME - rm -f $FNAME - test -f $FNAME && echo Cannot remove $FNAME... does $USER have privileges? - fi + 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` + 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 done |