Re: [PATCH v4 0/2] docs: Speedup docs build

Queued, thanks. Paolo

[PATCH v4 0/2] docs: Speedup docs build

We currently have two documentation targets to build: - 'man' for the man pages; - 'html' for the web page. There are two bottlenecks in the process: 1) sphinx runs with a single process; 2) the two targets are serialized. For (1), we can just add the "-j auto" to sphinx_build and that should br