From 1ba7f6f2887ea828d8aa515f45993429df2b8b7a Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 16 Dec 2011 17:32:38 +0100
Subject: [PATCH] convenience to push the fd driver

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b7e1154e..45136a57 100644
--- a/Makefile
+++ b/Makefile
@@ -163,7 +163,7 @@ clientsync:
 	+$(RSYNC)  $(BINS) $(SSHURL)/usr/bin/
 
 ricasync:
-	+$(RSYNC) --relative ./sfa/fd ./sfa/generic/fd.py $(SSHURL)/usr/lib\*/python2.\*/site-packages/
+	+$(RSYNC) --relative ./sfa/fd ./sfa/generic/fd.py ./sfa/rspecs/versions/federica.py $(SSHURL)/usr/lib\*/python2.\*/site-packages/
 
 .PHONY: sync fastsync clientsync
 
-- 
2.43.0