sphinx: Don't share doctrees between targets
authorBen Gamari <ben@smart-cactus.org>
Sat, 10 Oct 2015 13:12:59 +0000 (15:12 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sat, 10 Oct 2015 13:41:05 +0000 (15:41 +0200)
commitfa5eabec43a71546afba6dec7508ae5afb23b805
tree8166b32bcb05923c75d9428dc5f45d07353b629c
parent840df33685e8c746ade4b9d4d0eb7c764a773e48
sphinx: Don't share doctrees between targets

Sphinx may trip over itself when multiple instances are run in parallel.

Fixes #10950.
rules/sphinx.mk