Use boilerpipe-based dom-distiller-js

third_party/dom_distiller_js/update_domdistiller_js.sh

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..adfa95bab197d7fa1458ed965b1e383a0d206e1a
--- /dev/null
+++ b/third_party/dom_distiller_js/update_domdistiller_js.sh
@@ -0,0 +1,29 @@
+#!/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.
+
+(
+  compiled_js_path=third_party/dom_distiller_js/js/domdistiller.js
+  tmpdir=/tmp/domdistiller-$$
+
+  rm -rf $tmpdir
+  mkdir $tmpdir
+
+  pushd $tmpdir
+  git clone https://code.google.com/p/dom-distiller/ .
+  ant extractjs
+  popd
+
+  mkdir -p $(dirname $compiled_js_path)
+  cp $tmpdir/out/domdistiller.js $compiled_js_path
+
+  rm -rf $tmpdir
+)