Makefile: Implement "upgrade" target

diff --git a/Makefile b/Makefile
index 1ca1b33bd38f52138ecc9df7eeb2e88b18ffcc6f..6786ba64cd2497bb7336308196936f5f2df8edeb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,14 @@ install:
 install-local:
        sh ./install.sh --local
 
+upgrade:
+       @fgrep "alex@barton.de" /etc/profile >/dev/null 2>&1 \
+        && sudo make install \
+        || echo "*** Upgrade: System configuration skipped."
+       @fgrep "alex@barton.de" ~/.bash_logout >/dev/null 2>&1 \
+        && make install \
+        || echo "*** Upgrade: User configuration skipped."
+
 clean:
 
 check: