From 97f7eb3db3ce255107194f1da3a53b3dc9ef30e0 Mon Sep 17 00:00:00 2001
From: ahocevar <andreas.hocevar@gmail.com>
Date: Tue, 9 Apr 2013 13:22:04 +0200
Subject: [PATCH] Re-adding accidently removed line

This brings back the previous way to copy the data directory,
as suggested by @elemoine.
---
 build.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.py b/build.py
index 7bc746b6b3..c2c5685a2b 100755
--- a/build.py
+++ b/build.py
@@ -626,10 +626,10 @@ def host_examples(t):
     t.makedirs(examples_dir)
     t.rm_rf(build_dir)
     t.makedirs(build_dir)
-    t.rm_rf(examples_dir)
-    t.cp_r('examples', examples_dir)
+    t.cp(EXAMPLES, examples_dir)
     for example in [path.replace('.html', '.js') for path in EXAMPLES]:
         split_example_file(example, examples_dir % vars(variables))
+    t.cp_r('examples/data', examples_dir + '/data')
     t.cp('bin/loader_hosted_examples.js', examples_dir + '/loader.js')
     t.cp('build/ol.js', 'build/ol-simple.js', 'build/ol-whitespace.js',
          'build/ol.css', build_dir)