Index: third_party/dom_distiller_js/update_domdistiller_js.sh |
diff --git a/third_party/dom_distiller_js/update_domdistiller_js.sh b/third_party/dom_distiller_js/update_domdistiller_js.sh |
new file mode 100755 |
index 0000000000000000000000000000000000000000..10891cd182e74d86a978f9f65d7b64f9ee0078a1 |
--- /dev/null |
+++ b/third_party/dom_distiller_js/update_domdistiller_js.sh |
@@ -0,0 +1,33 @@ |
+#!/bin/bash |
+# |
+# Copyright 2014 The Chromium Authors. All rights reserved. |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+# |
+ |
+# Clones the dom-distiller repo, compiles and extracts its javascript Then |
+# copies that js into the Chromium tree. |
+# This script should be run from the src/ directory and requires that ant is |
+# installed. |
+ |
+( |
+ dom_distiller_js_path=third_party/dom_distiller_js |
+ compiled_js_path=$dom_distiller_js_path/js/domdistiller.js |
+ tmpdir=/tmp/domdistiller-$$ |
+ |
+ rm -rf $tmpdir |
+ mkdir $tmpdir |
+ |
+ pushd $tmpdir |
+ git clone https://code.google.com/p/dom-distiller/ . |
+ ant extractjs |
+ gitsha=$(git rev-parse HEAD | head -c 10) |
+ popd |
+ |
+ mkdir -p $(dirname $compiled_js_path) |
+ cp $tmpdir/out/domdistiller.js $compiled_js_path |
+ cp $tmpdir/LICENSE $dom_distiller_js_path/ |
+ sed -i "s/Version: [0-9a-f]*/Version: $gitsha/" $dom_distiller_js_path/README.chromium |
+ |
+ rm -rf $tmpdir |
+) |