tree 5a21424afb021c6e02358512c3f2255ec51e0660
parent 2af280b0463475c8d5d051daa34ef565d2f55d88
author Paul Sokolovsky <paul.sokolovsky@linaro.org> 1676631649 +0700
committer Paul Sokolovsky <paul.sokolovsky@linaro.org> 1676635592 +0700

build-docs.jpl: Replace old docs with newly generated

Instead of just overlaying new files over the old directory, with old file
(and links) remaing active and causing confusion. Do the replace in as
atomic way as possible, to avoid users getting non-deterministic 404 HTTP
errors.

Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>
Change-Id: I14be7522ef6f7b78484d2fe6c517fa0064898456