# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1457551445 -7200
# Node ID d1f59db03d01bb29c3985bbe8a442b0bffb5a0d1
# Parent  328995b5b8fd0a23295723b4eb577b31ff54350a
Fix typo.

diff -r 328995b5b8fd -r d1f59db03d01 Makefile
--- 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