1#!/bin/sh
2#4 July 96 Dan.Shearer@UniSA.edu.au
3#
4# 13 Aug 2001  Rafal Szczesniak <mimir@spin.ict.pwr.wroc.pl>
5#   modified to accomodate international man pages (inspired
6#   by Japanese edition's approach)
7
8
9MANDIR=`echo $1 | sed 's/\/\//\//g'`
10SRCDIR=$2
11langs=$3
12
13for lang in $langs; do
14  echo Uninstalling \"$lang\" man pages from $MANDIR/$lang
15
16  for sect in 1 5 7 8 ; do
17    for m in $MANDIR/$lang/man$sect ; do
18      for s in $SRCDIR/../docs/manpages/$lang/*$sect; do
19        FNAME=$m/`basename $s`
20	if test -f $FNAME; then
21	  echo Deleting $FNAME
22	  rm -f $FNAME 
23	  test -f $FNAME && echo Cannot remove $FNAME... does $USER have privileges?   
24        fi
25      done
26    done
27  done
28done
29
30cat << EOF
31======================================================================
32The man pages have been uninstalled. You may install them again using 
33the command "make installman" or make "install" to install binaries,
34man pages and shell scripts.
35======================================================================
36EOF
37exit 0
38