From d4a81e118c4f04b52f7afd0d5544d3c9b9557425 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@bento.schottelius.org>
Date: Wed, 13 Nov 2013 16:01:46 +0100
Subject: [PATCH] pub by default

Signed-off-by: Nico Schottelius <nico@bento.schottelius.org>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 5767203c..47511fed 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,8 @@ BROWSER=conkeror
 #IKIWIKI=ikiwikitest.sh
 IKIWIKI=ikiwiki
 
+pub:
+	git push --mirror
 all:
 	$(IKIWIKI) --refresh --setup ikiwiki.setup
 
@@ -22,8 +24,6 @@ view:
 clean: all
 	rm -rf ${DESTDIR}
 
-pub:
-	git push --mirror
 
 #public: ask public-f