16826, “mppf”, “incremental docs build”, “2020-12-08T14:53:31Z”
Running make docs currently takes some time. However it’s possible for it to be updated to be incremental.
sphinx-build is supposed to already be incremental by default with the version we have.
We generate rst/{modules,builtins} using chpldoc, then we copy in an index file from rst/meta/{modules,builtins}. These copies prevent sphinx-build from being incremental (since the files have been modified).
We could change these to a copy-only-if-modified strategy. But, then we’d still run chpldoc. We could update the chpldoc build to only update modules that were modified first if the chpldoc command.