Stuff and things and stuff.

diff --git a/tools/build-rpm.sh b/tools/build-rpm.sh
index 3b0382589acb1f11d3dea9af38d54e9e6d501fae..8385c91b91e756db2bffba2dec9345b9d43d9d2b 100755 (executable)
--- a/tools/build-rpm.sh
+++ b/tools/build-rpm.sh
@@ -20,7 +20,7 @@ echo " Editors. It is easy to use, supports mouse input, and is customizable"
 echo " via themes and plugins."
 echo "%install"
 echo "mkdir -p /usr/share/doc/micro"
-echo "install -m 755 micro /usr/bin/micro"
+echo "install -m 755 micro /usr/local/bin/micro"
 echo "install -m 744 AUTHORS /usr/share/doc/micro/AUTHORS"
 echo "install -m 744 LICENSE /usr/share/doc/micro/LICENSE"
 echo "install -m 744 LICENSE-THIRD-PARTY /usr/share/doc/micro/LICENSE-THIRD-PARTY"
@@ -29,7 +29,7 @@ echo "install -m 744 micro.1.gz /usr/share/man/man1/micro.1.gz"
 echo "install -m 744 micro.desktop /usr/share/applications/micro.desktop"
 echo "install -m 744 micro.svg /usr/share/icons/micro.svg"
 echo "%files"
-echo "/usr/bin/micro"
+echo "/usr/local/bin/micro"
 echo "/usr/share/doc/micro"
 echo "/usr/share/doc/micro/AUTHORS"
 echo "/usr/share/doc/micro/LICENSE"