parallel doc build is unreliable
Version: aa3b4373
Sometimes normal build sequence
./autogen.sh
./configure
make -j8
explodes with:
Making all in doc
make[1]: Entering directory '/home/pspacek/w/pkg/knot/git/doc'
SPHINX man/knot.conf.5in
SPHINX man/knotc.8in
SPHINX man/knotd.8in
SPHINX man/kcatalogprint.8in
SPHINX man/keymgr.8in
SPHINX man/kjournalprint.8in
SPHINX man/kzonecheck.1in
SPHINX man/kzonesign.1in
Exception occurred:
File "/usr/lib/python3.12/site-packages/sphinx/environment/__init__.py", line 609, in get_doctree
doctree = pickle.loads(serialised)
^^^^^^^^^^^^^^^^^^^^^^^^
EOFError: Ran out of input
The full traceback has been saved in /tmp/sphinx-err-tu8judil.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks!
make[1]: *** [Makefile:884: man/knot.conf.5in] Error 2
make[1]: *** Waiting for unfinished jobs....
I bet this has something to do with Sphinx being executed in parallel in the same working directory and overwriting its own files.
For inspiration you can have a look at https://gitlab.isc.org/isc-projects/bind9/-/commit/33db7ea16d630b3fcc756c704b1a91ae887019f4