Rename externs/html5.js to externs/closure-compiler.js

Add add a fix for issues: * https://code.google.com/p/closure-compiler/issues/detail?id=1084 * https://code.google.com/p/closure-compiler/issues/detail?id=1088
2013-09-07 10:10:31 +02:00
parent 69872c99d2
commit 4bae5e755a
8 changed files with 44 additions and 23 deletions
--- a/build.py
+++ b/build.py
@@ -316,7 +316,7 @@ def examples_star_json(name, match):
                '../externs/oli.js',
                '../externs/proj4js.js',
                '../externs/tilejson.js',
-                '../externs/html5.js',
+                '../externs/closure-compiler.js',
            ],
        })
        with open(t.name, 'w') as f: