chiark - git - mdw - cfd/blob - maninst

   1 #! /bin/sh
   2
   3 set -e
   4 ext="" mandir=/usr/local/man srcdir=. inst=install mode=644
   5 while [ $# -gt 0 ]; do
   6   case $1 in
   7     -h)
   8       echo "$0: [-e EXT] [-d DIR] [-i INSTALL] [-m MODE] [un]install FILE ..."
   9       exit 0
  10       ;;
  11     -e) ext=$2; shift 2 ;;
  12     -d) mandir=$2; shift 2 ;;
  13     -i) inst=$2; shift 2 ;;
  14     -m) mode=$2; shift 2 ;;
  15     -s) srcdir=$2; shift 2 ;;
  16     --) shift; break ;;
  17     -*) echo >&2 "$0: unknown option \`$1'"; exit 1 ;;
  18     *) break ;;
  19   esac
  20 done
  21 op=$1; shift
  22 case $op in
  23   install | uninstall) ;;
  24   *) echo >&2 "$0: unknown operation \`$1'"; exit 1 ;;
  25 esac
  26 for i; do
  27   base=${i##*/} src=${base##*.}
  28   case $op in
  29     install)
  30       echo -n " Installing manpage $base$ext"
  31       $inst -d "$mandir/man$sec"
  32       $inst -m $mode "$srcdir/$i" "$mandir/man$sec/$base$ext"
  33       ;;
  34     uninstall)
  35       rm -f "$mandir/man$sec/$base$ext"
  36       ;;
  37   esac
  38   for l in `sed 's:^\.\\\"  *@::p; d' "$srcdir/$i"`; do
  39     case $op in
  40       install)
  41         if [ "$l.$sec" != "$base" ]; then
  42           echo -n "."
  43           echo ".so man$sec/$base$ext" >"$mandir/man$sec/$l.$sec$ext"
  44           chmod $mode "$mandir/man$sec/$l.$sec$ext"
  45         fi
  46         ;;
  47       uninstall)
  48         rm -f "$mandir/man$sec/$l.$sec$ext"
  49         ;;
  50     esac
  51   done
  52   case $op in
  53     install) echo ;;
  54   esac
  55 done