From 6e7e9e9984a52e18434dbc7b058ff19af707b051 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 29 May 2009 21:00:38 +0000
Subject: [PATCH] "make push"/"make pull" for me to sync profiles etc.

---
 Makefile | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index b8df7327d..6237bd64a 100644
--- a/Makefile
+++ b/Makefile
@@ -333,13 +333,22 @@ hackageupload:
 send:
 	darcs send http://joyful.com/repos/hledger --to=hledger@googlegroups.com --edit-description  
 
-# push patches to the main repo with ssh
-push:
+# push patches and anything else pending to the public server
+push: pushprofs
 	darcs push joyful.com:/repos/hledger
 
-# sync latest profiles and benchtest results to the public site
+# pull anything pending from the public server
+pull: pullprofs
+	darcs pull -a joyful.com:/repos/hledger
+
+# push any new profiles and benchtest results to the public site
+# beware, results may look different depending on which machine generated them
 pushprofs:
-	rsync -azP profs/ joyful.com:/repos/hledger/profs/ #--delete 
+	rsync -azP profs/ joyful.com:/repos/hledger/profs/
+
+# fetch any new profiles and benchtest results from the public site
+pullprofs:
+	rsync -azP joyful.com:/repos/hledger/profs/ profs/
 
 # show project stats useful for release notes
 stats: showlastreleasedate showreleaseauthors showloc showerrors showlocalchanges showreleasechanges bench