source/script/installman.sh

   1 #!/bin/sh
   2
   3 MANDIR=$1
   4 shift 1
   5 MANPAGES=$*
   6
   7 for I in $MANPAGES
   8 do
   9         SECTION=`echo $I | grep -o '.$'`
  10         DIR="$MANDIR/man$SECTION"
  11         if [ ! -d "$DIR" ]
  12         then
  13                 mkdir "$DIR"
  14         fi
  15
  16         BASE=`basename $I`
  17
  18         echo "Installing manpage \"$BASE\" in $DIR"
  19         cp $I $DIR
  20 done
  21
  22 cat << EOF
  23 ======================================================================
  24 The man pages have been installed. You may uninstall them using the command
  25 the command "make uninstallman" or make "uninstall" to uninstall binaries,
  26 man pages and shell scripts.
  27 ======================================================================
  28 EOF
  29
  30 exit 0