Update documentation build script

[odow]

Replaces #157

[codecov]

Codecov Report

Merging #158 (a3dc74a) into master (f6aca5f) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #158   +/-   ##
=======================================
  Coverage   91.99%   91.99%           
=======================================
  Files          39       39           
  Lines        4174     4174           
=======================================
  Hits         3840     3840           
  Misses        334      334           

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update f6aca5f...a3dc74a. Read the comment docs.

[odow]

So the push-preview didn't help. My guess is that it's because the symlink existed before GitHub actions, so they must have marked it as potentially malicious: https://github.com/orgs/community/discussions/9104#discussioncomment-5218741

I've added a new CI job which cleans up left-over preview builds, and it has the side-effect that it results in a new commit from GitHub actions that touches every file.

[odow]

So perhaps we could merge this and see what happens?