[PATCH] doc: use separate doctrees for distinct builders
david at tethera.net
Mon Jun 3 04:33:59 PDT 2019
David Bremner <david at tethera.net> writes:
> It seems our previous attempt with order-only targets was not
> sufficient to avoid problems with sphinx-builds doctree cache .
> Looking around at other people's approaches , using seperate
> doctrees was suggested. I guess there might be a slight loss of
> efficiency, but it seems more robust.
pushed to release (soon to master), with Tomi's spellink fichs
More information about the notmuch