+pub target

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
14 years ago · bf0c2bb6b5
parent 9c402d4a3e
commit bf0c2bb6b5
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -10,3 +10,6 @@ sync:

 web:
 	cp REAL_README $$HOME/niconetz/software/cdist.mdwn
+
+pub:
+	git push --mirror