Bug#976934: [PATCH] build/docs: move docstring prereq to file targets

2020-12-10 Thread David Bremner
Tomi Ollila writes: > On Wed, Dec 09 2020, David Bremner wrote: > >> Under a sufficiently high level of parallelism [1] there seems to be a >> a race condition that allows sphinx-build to start running before the >> docstrings are extracted. This change moves the docstring stamp from >> the

Bug#976934: [PATCH] build/docs: move docstring prereq to file targets

2020-12-10 Thread Tomi Ollila
On Wed, Dec 09 2020, David Bremner wrote: > Under a sufficiently high level of parallelism [1] there seems to be a > a race condition that allows sphinx-build to start running before the > docstrings are extracted. This change moves the docstring stamp from > the phony targets sphinx-html and

Bug#976934: [PATCH] build/docs: move docstring prereq to file targets

2020-12-09 Thread David Bremner
Under a sufficiently high level of parallelism [1] there seems to be a a race condition that allows sphinx-build to start running before the docstrings are extracted. This change moves the docstring stamp from the phony targets sphinx-html and sphinx-info to the file targets that they depend on.