Download raven-js like other Javascript plugins instead of relying on its CDN

[platal.git] / Makefile

diff --git a/Makefile b/Makefile
index 4f1ccd1..b1fd7d7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -25,7 +25,7 @@ endef
 
 all: build
 
-build: core conf static banana wiki openid medals jquery maps
+build: core conf static banana wiki openid medals jquery maps raven
 
 check:
        @!(find . -name '*.php' -exec php -l {} ";" | grep -v 'No syntax errors detected')
@@ -256,6 +256,19 @@ 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
 
 ##
+## Raven-js
+##
+RAVEN_VERSION=1.1.2
+raven: htdocs/javascript/raven.min.js
+
+# Documentation: http://raven-js.readthedocs.org/en/latest/install/index.html
+htdocs/javascript/raven.min.js: DOWNLOAD_SRC = http://cdn.ravenjs.com/1.1.2/raven.min.js
+htdocs/javascript/raven.min.js:
+       @-rm htdocs/javascript/raven*.js:
+       $(download)
+
+
+##
 ## lists rpc
 ##
 start-listrpc: spool/run