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 210c2758d3700093e8fb52846eb9515ebd0efe9c..819b2bc7e4acfa58a93755ca40414ce356c25aa5 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"`