X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;ds=sidebyside;f=Makefile;h=5b9c699a5551ab43ae5820e2993bfdef9ce0ba80;hb=173ff0bdf41db90ee0995e0c3bf844bf2151d0e6;hp=84edd6f563e6ab7cbf1495e7adec4f312eb6324b;hpb=87c297112074d1da4773359b7c9d17d5fab0ff1b;p=platal.git diff --git a/Makefile b/Makefile index 84edd6f..5b9c699 100644 --- a/Makefile +++ b/Makefile @@ -25,7 +25,7 @@ endef all: build -build: core conf static banana wiki openid medals jquery +build: core conf static banana wiki openid medals jquery maps check: @!(find . -name '*.php' -exec php -l {} ";" | grep -v 'No syntax errors detected') @@ -240,6 +240,14 @@ $(JSTREE_PATH): ln -snf jquery.jstree-$(JSTREE_VERSION).js htdocs/javascript/jquery.jstree.js rm -Rf spool/tmp/jstree +## +## Maps auxiliary scripts +## +maps: htdocs/javascript/markerclusterer.js + +## Try and use taged version asap (from http://google-maps-utility-library-v3.googlecode.com/svn/tags/markerclusterer/…). +htdocs/javascript/markerclusterer.js: + wget "http://google-maps-utility-library-v3.googlecode.com/svn/trunk/markerclusterer/src/markerclusterer_compiled.js?r=308" -O htdocs/javascript/markerclusterer.js ## ## lists rpc