diff --git a/Makefile b/Makefile
index becd519..f2867d7 100644
--- a/Makefile
+++ b/Makefile
@@ -173,7 +173,7 @@ t2:
 #
 # Developer targets
 #
-update:
+pub:
 	@git push
 
 publish-doc: documentation