[PATCH] OpenLayers download moved to github

[Wald Commits]

# HG changeset patch
# User "Tom Gottfried <tom at intevation.de>"
# Date 1418809835 -3600
# Node ID de8be181fa87d3f13feacab29f2c7c9fe76d6e4b
# Parent  522c46c53861758ffa4c40171041d4f66d6405d8
OpenLayers download moved to github.

diff -r 522c46c53861 -r de8be181fa87 contrib/make_flys_release/make_release.sh
--- a/contrib/make_flys_release/make_release.sh	Tue Dec 16 17:54:55 2014 +0100
+++ b/contrib/make_flys_release/make_release.sh	Wed Dec 17 10:50:35 2014 +0100
@@ -180,7 +180,7 @@
 if [ ! -f $FLYS_SOURCE_DIR/OpenLayers-2.11.tar.gz ]; then
     echo "INFO: download OpenLayers-2.11 for client"
     cd $FLYS_SOURCE_DIR
-    curl -O http://openlayers.org/download/OpenLayers-2.11.tar.gz
+    wget "https://github.com/openlayers/openlayers/releases/download/release-2.11/OpenLayers-2.11.tar.gz"
     tar xvfz OpenLayers-2.11.tar.gz
     # TODO: Remove more superfluous OpenLayers stuff.
     rm -rf OpenLayers-2.11/doc