From 1ee71a9dfb862ad3334dad09b1450084ee92cc4c Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Wed, 2 Feb 2011 08:55:15 +0100
Subject: [PATCH] rename update to pub target for consistency

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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