renamed

[infrastructure.git] / gitweb-obsolete / Makefile

diff --git a/gitweb-obsolete/Makefile b/gitweb-obsolete/Makefile
new file mode 100644 (file)
index 0000000..02e8b7b
--- /dev/null
+++ b/gitweb-obsolete/Makefile
@@ -0,0 +1,30 @@
+# Dec. 2015
+# mainstream gitweb.cgi has changed drastically so ours won't run under f23
+# let's just forget about this old stuff
+# from now on I run fedora's stock rpm in devel.onelab.eu
+# and the other 2 probably are just dead
+
+all:
+       echo This Makefile is obsolete
+       echo on devel.onelab.eu we use the stock gitweb
+       echo through rpm and symlinks
+
+ALL=onelab.cgi f-lab.cgi planet-lab.cgi
+
+%.cgi:gitweb.cgi
+%.cgi:%.sed
+       sed -f $< gitweb.cgi > $@
+       chmod +x $@
+
+clean: 
+       rm -f $(ALL)
+
+# need to push to /var/www/git manually
+push: $(ALL) 
+#      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/