On Fri, Nov 11, 2022 at 4:34 AM Martin Liška wrote:
>
> Noticed that the documentation build can stuck on a machine with
> many cores (160) and I identified a real sphinx problem:
> https://github.com/sphinx-doc/sphinx/issues/10969
>
> Note the parallel can help just for some manuals and it is not
Noticed that the documentation build can stuck on a machine with
many cores (160) and I identified a real sphinx problem:
https://github.com/sphinx-doc/sphinx/issues/10969
Note the parallel can help just for some manuals and it is not critical
for us.
ChangeLog:
* doc/Makefile: Disable -
