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
1 file changed