| commit | 736e6b65a0b183cccb35fa1bec926e98f5a75694 | [log] [tgz] |
|---|---|---|
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | Fri Feb 17 18:00:49 2023 +0700 |
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | Fri Feb 17 19:06:32 2023 +0700 |
| tree | 5a21424afb021c6e02358512c3f2255ec51e0660 | |
| parent | 2af280b0463475c8d5d051daa34ef565d2f55d88 [diff] |
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