| 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
|
| index 4564e935d6c873bd566a5747d66605ab3289f996..c1f7068d342e37c627e72b3b1121577f3bb9ffd1 100755
|
| --- a/third_party/dom_distiller_js/update_domdistiller_js.sh
|
| +++ b/third_party/dom_distiller_js/update_domdistiller_js.sh
|
| @@ -12,7 +12,7 @@
|
|
|
| (
|
| dom_distiller_js_path=third_party/dom_distiller_js
|
| - dom_distiller_js_package=$dom_distiller_js_path/package
|
| + compiled_js_path=$dom_distiller_js_path/js/domdistiller.js
|
| readme_chromium=$dom_distiller_js_path/README.chromium
|
| tmpdir=/tmp/domdistiller-$$
|
| changes=/tmp/domdistiller.changes
|
| @@ -23,14 +23,13 @@
|
|
|
| pushd $tmpdir
|
| git clone https://code.google.com/p/dom-distiller/ .
|
| + ant extractjs
|
| new_gitsha=$(git rev-parse --short=10 HEAD)
|
| git log --oneline ${curr_gitsha}.. > $changes
|
| - ant package
|
| popd
|
|
|
| - rm -rf $dom_distiller_js_package
|
| - mkdir $dom_distiller_js_package
|
| - cp -rf $tmpdir/out/package/* $dom_distiller_js_package
|
| + 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: $new_gitsha/" $readme_chromium
|
|
|
|
|