Added 'push' as alias for 'update'

enkiv2 · Jul 14, 2011 · e0d910a · e0d910a
1 parent 4b2dfbc
commit e0d910a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -20,6 +20,8 @@ push: clean update
 update:
 	git pull origin master 
 
+pull: update
+
 install:
 	make -C src/ install
 	@echo