diff options
Diffstat (limited to 'source4/script/installman.sh')
| -rwxr-xr-x | source4/script/installman.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/source4/script/installman.sh b/source4/script/installman.sh deleted file mode 100755 index 3350eb87bc..0000000000 --- a/source4/script/installman.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/sh - -MANDIR=$1 -shift 1 -MANPAGES=$* - -for I in $MANPAGES -do - SECTION=`echo -n $I | sed "s/.*\(.\)$/\1/"` - DIR="$MANDIR/man$SECTION" - if [ ! -d "$DIR" ] - then - mkdir "$DIR" - fi - - BASE=`basename $I` - - echo "Installing manpage \"$BASE\" in $DIR" - cp $I $DIR -done - -cat << EOF -====================================================================== -The man pages have been installed. You may uninstall them using the command -the command "make uninstallman" or make "uninstall" to uninstall binaries, -man pages and shell scripts. -====================================================================== -EOF - -exit 0 |