minstall: Pass correct destination file path to $RM regardless of source path.

(cherry picked from 26626c0052cd5442f609659aa9ed25ac78e65b55 commit)

diff --git a/bin/minstall b/bin/minstall
index 210c275..819b2bc 100755 (executable)
--- a/bin/minstall
+++ b/bin/minstall
@@ -65,7 +65,7 @@ if [ $# -ge 2 ] ; then
 
                elif [ -f "$FILE" ] ; then
                        #echo "$FILE" is a regular file
-                       $RM "$DEST/$FILE"
+                       $RM "$DEST/`basename $FILE`"
                        cp "$FILE" "$DEST"
                        if [ $MODE ] ; then
                                FILE=`basename "$FILE"`