Makefile
changeset 1 d1f59db03d01
parent 0 328995b5b8fd
--- a/Makefile	Wed Mar 09 21:23:23 2016 +0200
+++ b/Makefile	Wed Mar 09 21:24:05 2016 +0200
@@ -71,7 +71,7 @@
 
 .PHONY: deploy2defun-hg
 deploy2defun-hg:
-	hg push ssh://$(HG_SRV_USER)@$(HG_SRV_NAME)//srv/hg/tips || [ $$? = 1 ]
+	hg push ssh://$(HG_SRV_USER)@$(HG_SRV_NAME)//srv/hg/stat || [ $$? = 1 ]
 
 .PHONY: deploy2local
 deploy2local: html