diff options
| author | David Bremner <david@tethera.net> | 2019-05-31 23:24:52 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-06-03 07:35:30 -0300 |
| commit | 6edc073e4496b71d24e339f4d0cca41c2e4ac3e1 (patch) | |
| tree | 4caa22ecdcbd2c7677a3995a6272102c7b85451f /bindings/python | |
| parent | 80cfc48af550f66837ad3822a2db18b916487eea (diff) | |
doc: use separate doctrees for distinct builders
It seems our previous attempt with order-only targets was not
sufficient to avoid problems with sphinx-builds doctree cache [0].
Looking around at other people's approaches [1], using separate
doctrees was suggested. I guess there might be a slight loss of
efficiency, but it seems more robust.
[0]: build failures were first noticed in Debian experimental, but I was able to duplicate it in
my usual build environment about 1 in 8 builds.
[1]: in particular
https://salsa.debian.org/mpd-team/mpc/commit/9e3fc1657d043d75755993846c93f7700b97f907
Diffstat (limited to 'bindings/python')
0 files changed, 0 insertions, 0 deletions