diff options
| author | David Robillard <d@drobilla.net> | 2023-09-23 15:56:23 -0400 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2023-09-23 15:56:23 -0400 |
| commit | 1cb305e9be14d8f696acb0473599c6be20ef56d0 (patch) | |
| tree | 0e24a99f62df61ef3a016abe8da37de874109bb1 /Tools/python.py | |
| parent | b324b9c62b362b1e9f4d3ca606292d2f60d9239c (diff) | |
| download | sratom-1cb305e9be14d8f696acb0473599c6be20ef56d0.tar.gz sratom-1cb305e9be14d8f696acb0473599c6be20ef56d0.tar.bz2 sratom-1cb305e9be14d8f696acb0473599c6be20ef56d0.zip | |
Explicitly specify all documentation dependencies
Yet another attempt to sort out flaky documentation builds. This tries to be
careful and describe the complete documentation dependency graph to meson
explicitly (ignoring tool outputs that aren't used). Also remove the shared
doctrees directory option, since I suspect this causes issues in parallel
builds.
Diffstat (limited to 'Tools/python.py')
0 files changed, 0 insertions, 0 deletions