tree de50ac13f52578c4fb7a17c855129eccd135d7c1
parent 52eecb65ba4b004ada6c34b971db0f782e7a3237
author Jaewoong Jung <jungjw@google.com> 1550704239 -0800
committer Jaewoong Jung <jungjw@google.com> 1550849232 +0000

Copy all html files under docs to DIST_DIR.

Now soong_docs build produces multiple HTML files, so we need to copy
all of them, not only soong_build.html.

Bug: 123473548
TesT: OUT_DIR=out DIST_DIR=dist prebuilts/build-tools/build-prebuilts.sh
Change-Id: I60d9736c335d065e1711936d4b380702fc7d48b3