diff options
Diffstat (limited to 'source/script/installman.sh')
-rwxr-xr-x | source/script/installman.sh | 84 |
1 files changed, 35 insertions, 49 deletions
diff --git a/source/script/installman.sh b/source/script/installman.sh index c7a8f450951..4eda8fd537f 100755 --- a/source/script/installman.sh +++ b/source/script/installman.sh @@ -1,64 +1,50 @@ #!/bin/sh #5 July 96 Dan.Shearer@unisa.edu.au removed hardcoded values -# -# 13 Aug 2001 Rafal Szczesniak <mimir@spin.ict.pwr.wroc.pl> -# modified to accomodate international man pages (inspired -# by Japanese edition's approach) -MANDIR=`echo $1 | sed 's/\/\//\//g'` +MANDIR=$1 SRCDIR=$2/ -langs=$3 - -if [ $# -ge 4 ] ; then - GROFF=$4 # sh cmd line, including options +if [ $# -ge 3 ] ; then + GROFF=$3 # sh cmd line, including options fi +echo Installing man pages in $MANDIR -for lang in $langs; do - if [ "X$lang" = Xen ]; then - echo Installing default man pages in $MANDIR/ - lang=. - else - echo Installing \"$lang\" man pages in $MANDIR/lang/$lang - fi - - langdir=$MANDIR/$lang - for d in $MANDIR $langdir $langdir/man1 $langdir/man5 $langdir/man7 $langdir/man8; do - if [ ! -d $d ]; then - mkdir $d - if [ ! -d $d ]; then - echo Failed to make directory $d, does $USER have privileges? - exit 1 - fi - fi - done +for d in $MANDIR $MANDIR/man1 $MANDIR/man5 $MANDIR/man7 $MANDIR/man8; do +if [ ! -d $d ]; then +mkdir $d +if [ ! -d $d ]; then + echo Failed to make directory $d, does $USER have privileges? + exit 1 +fi +fi +done - for sect in 1 5 7 8 ; do - for m in $langdir/man$sect ; do - for s in $SRCDIR../docs/manpages/$lang/*$sect; do - FNAME=$m/`basename $s` +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` - # Test for writability. Involves - # blowing away existing files. + # Test for writability. Involves + # blowing away existing files. - if (rm -f $FNAME && touch $FNAME); then - rm $FNAME - if [ "x$GROFF" = x ] ; then - cp $s $m # Copy raw nroff - else - echo "\t$FNAME" # groff'ing can be slow, give the user - # a warm fuzzy. - $GROFF $s > $FNAME # Process nroff, because man(1) (on - # this system) doesn't . - fi - chmod 0644 $FNAME - else - echo Cannot create $FNAME... does $USER have privileges? - fi - done - done + if (rm -f $FNAME && touch $FNAME); then + rm $FNAME + if [ "x$GROFF" = x ] ; then + cp $s $m # Copy raw nroff + else + echo "\t$FNAME" # groff'ing can be slow, give the user + # a warm fuzzy. + $GROFF $s > $FNAME # Process nroff, because man(1) (on + # this system) doesn't . + fi + chmod 0644 $FNAME + else + echo Cannot create $FNAME... does $USER have privileges? + fi done + done done + cat << EOF ====================================================================== The man pages have been installed. You may uninstall them using the command |