1 ALL=onelab.cgi f-lab.cgi planet-lab.cgi
7 sed -f $< gitweb.cgi > $@
13 # need to push to /var/www/git manually
15 rsync -av gitweb.css root@git.onelab.eu:/git/gitweb.css
16 rsync -av onelab.cgi root@git.onelab.eu:/git/gitweb.cgi
17 rsync -av gitweb.css root@git.f-lab.fr:/git/gitweb.css
18 rsync -av f-lab.cgi root@git.f-lab.fr:/git/gitweb.cgi
19 rsync -av gitweb.css thierry@git.planet-lab.org:gitweb.css
20 rsync -av planet-lab.cgi thierry@git.planet-lab.org:gitweb.cgi
21 ssh thierry@git.planet-lab.org sudo cp gitweb.cgi gitweb.css /var/www/git/