1#!/bin/sh
2
3INSTALLPERMS=$1
4DESTDIR=$2
5prefix=`echo $3 | sed 's/\/\//\//g'`
6BINDIR=`echo $4 | sed 's/\/\//\//g'`
7SBINDIR=@sbindir@
8shift
9shift
10shift
11shift
12
13for p in $*; do
14 p2=`basename $p`
15 echo "Installing $p as $DESTDIR/$BINDIR/$p2 "
16 if [ -f $DESTDIR/$BINDIR/$p2 ]; then
17   rm -f $DESTDIR/$BINDIR/$p2.old
18   mv $DESTDIR/$BINDIR/$p2 $DESTDIR/$BINDIR/$p2.old
19 fi
20 cp $p $DESTDIR/$BINDIR/
21 chmod $INSTALLPERMS $DESTDIR/$BINDIR/$p2
22done
23
24
25cat << EOF
26======================================================================
27The binaries are installed. You may restore the old binaries (if there
28were any) using the command "make revert". You may uninstall the binaries
29using the command "make uninstallbin" or "make uninstall" to uninstall
30binaries, man pages and shell scripts.
31======================================================================
32EOF
33
34exit 0
35