mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-22 02:48:08 +01:00
6edc073e44
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
|
||
|---|---|---|
| .. | ||
| man1 | ||
| man5 | ||
| man7 | ||
| .gitignore | ||
| conf.py | ||
| doxygen.cfg | ||
| index.rst | ||
| INSTALL | ||
| Makefile | ||
| Makefile.local | ||
| notmuch-emacs.rst | ||