install:
sh ./install.sh
+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: