knows how to push on the git servers

diff --git a/gitweb/Makefile b/gitweb/Makefile
index 3c450f2..de5ba6a 100644 (file)
--- a/gitweb/Makefile
+++ b/gitweb/Makefile
@@ -9,3 +9,13 @@ all:$(ALL)
 
 clean: 
        rm -f $(ALL)
+
+# need to push to /var/www/git manually
+push:
+       rsync -av gitweb.css root@git.onelab.eu:/git/gitweb.css
+       rsync -av onelab.cgi root@git.onelab.eu:/git/gitweb.cgi
+       rsync -av gitweb.css root@git.f-lab.fr:/git/gitweb.css
+       rsync -av f-lab.cgi root@git.f-lab.fr:/git/gitweb.cgi
+       rsync -av gitweb.css thierry@git.planet-lab.org:gitweb.css
+       rsync -av planet-lab.cgi thierry@git.planet-lab.org:gitweb.cgi
+       ssh thierry@git.planet-lab.org sudo cp gitweb.cgi gitweb.css /var/www/git/