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