From bf0c2bb6b518b94e35242017a88cf7a386b93fb2 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Wed, 2 Feb 2011 21:49:49 +0100
Subject: [PATCH] +pub target

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

diff --git a/Makefile b/Makefile
index aa6eb777..d1123f31 100644
--- a/Makefile
+++ b/Makefile
@@ -10,3 +10,6 @@ sync:
 
 web:
 	cp REAL_README $$HOME/niconetz/software/cdist.mdwn
+
+pub:
+	git push --mirror