gitweb/Makefile

   1 ALL=onelab.cgi f-lab.cgi planet-lab.cgi
   2
   3 all:$(ALL)
   4
   5 %.cgi:gitweb.cgi
   6 %.cgi:%.sed
   7         sed -f $< gitweb.cgi > $@
   8         chmod +x $@
   9
  10 clean:
  11         rm -f $(ALL)
  12
  13 # need to push to /var/www/git manually
  14 push: $(ALL)
  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/