Merge pull request #16835 from mppf/make-docs-incremental
Adjust ‘make docs’ to do an incremental build
Note, #16862 /
required for this change to function properly - but this branch has those
This PR adjusts
make docs to do an incremental sphinx build. For now,
chpldoc command always runs, but the scripts only update the source
sphinx-build if they are different.
This brings a
make docs after a minor change to about 10 seconds.
util/config/update-if-differentto include a mode argument
--copy) and adjusts the existing calls to it to use
copy all updated source files (recursively) and delete things in the
dst directory not present in src.
- Does the module docs build steps by first constructing the rst sources
in a subdirectory of build/doc/ and then using
update-if-different --copyfrom here (so that removed files can be correctly handled)
- Updated Makefiles for
make docsto avoid deleting “build” directory
(since we can use it again, incrementally)
- Removes a lot of command echoing for this process. One can use
make SHELL='sh -x' docsto see the commands again.
Reviewed by @ben-albrecht and @lydia-duncan - thanks!
- [x] full local testing