python
Add ``--select-output``
Towards https://github.com/python/docs-community/issues/131
If either of the options to --select-output is given, a different lockfile is generated and checked. We also invert some options because in the future both HTML and non-HTML builds will require archiving their files, so we only skip archiving when --quick is passed.
If --select-output is missing, the current behaviour is retained, so merging this should have no impact on the current process.
I believe that running rsync -a --delete-delay --filter P archives/ <build path> <target path> is harmless on quick builds, so we remove an if/else here.
A thought -- is there a risk of overwriting here?
If one process is building the Python 3.12 documentation in French, and a HTML builder is started for Python 3.12 in English, then build/doctrees could become inconsistent with some French doctrees and some English. Worse, the two processes could be running different builders, changing the checked-out state of the repository.
Prudence seems to suggest that we should use a different checkout for the HTML builds?
A