diff --git a/Makefile b/Makefile
index 2e5c4324..5767203c 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ view:
 clean: all
 	rm -rf ${DESTDIR}
 
-public:
+pub:
 	git push --mirror
 
 #public: ask public-f