# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1527726726 -32400
# Node ID 565dcd09259d2f59075956063fe3f9e687f7e155
# Parent  88878af9203d138374e3cc1d52d9d69d259640a3
Now "sync" target syncs all related repositories.

diff -r 88878af9203d -r 565dcd09259d makefile
--- a/makefile	Thu May 31 09:31:29 2018 +0900
+++ b/makefile	Thu May 31 09:32:06 2018 +0900
@@ -234,6 +234,7 @@
 
 RSYNCDIR	= ${HOME}/http/yatex/rsync/yatex
 sync:	
+	-hg push
+	-hg push git
 	-hg push cvs
 	(cd ${RSYNCDIR} && cvs ci -m '')
-	-hg push git