diff options
Diffstat (limited to 'source4/script')
| -rw-r--r-- | source4/script/installman.sh | 71 | ||||
| -rw-r--r-- | source4/script/uninstallman.sh | 28 |
2 files changed, 23 insertions, 76 deletions
diff --git a/source4/script/installman.sh b/source4/script/installman.sh index 5b6bba69ed..00c7114396 100644 --- a/source4/script/installman.sh +++ b/source4/script/installman.sh @@ -1,64 +1,22 @@ #!/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=$1 -SRCDIR=$2/ -langs=$3 - -if [ $# -ge 4 ] ; then - GROFF=$4 # sh cmd line, including options -fi - - -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 +shift 1 +MANPAGES=$* + +for I in $MANPAGES +do + SECTION=`echo $I | grep -o '.$'` + DIR="$MANDIR/man$SECTION" + if [ ! -d "$DIR" ] + then + mkdir "$DIR" 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` - - # 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 - done + + echo "Installing manpage \"$I\" in $DIR" + cp $I $DIR done + cat << EOF ====================================================================== The man pages have been installed. You may uninstall them using the command @@ -68,4 +26,3 @@ man pages and shell scripts. EOF exit 0 - diff --git a/source4/script/uninstallman.sh b/source4/script/uninstallman.sh index 3126709831..72b523ed9e 100644 --- a/source4/script/uninstallman.sh +++ b/source4/script/uninstallman.sh @@ -1,30 +1,20 @@ #!/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) - +# 4 July 96 Dan.Shearer@UniSA.edu.au +# Updated for Samba4 by Jelmer Vernooij MANDIR=$1 -SRCDIR=$2 -langs=$3 - -for lang in $langs; do - echo Uninstalling \"$lang\" man pages from $MANDIR/$lang +shift 1 +MANPAGES=$* - 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` +for I in $MANPAGES +do + SECTION=`echo $I | grep -o '.$'` + FNAME=$MANDIR/man$SECTION/$I 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 + fi done cat << EOF |