David Bremner <david@tethera.net> writes:

> David Bremner <david@tethera.net> writes:
>
>> Tomi Ollila <tomi.ollila@iki.fi> writes:
>>
>>> In case we had doxygen but not sphinx notmuch.3 was created but
>>> notmuch.3.gz not -- which means install fails!
>>> This patch (with late night unpolished commit message will fix that)
>>
>> By install fails, you mean the man page is simply not installed? I agree
>> that's a bug, but I had visions of the install failing half way through.
>
> A related issue I noticed is that some tests fail, rather than being
> skipped, if the man pages are not built.

Both my not understanding Tomi's report and my problem with failing
tests where related to not running "make clean" after removing
sphinx. So I think we can ignore this. Perhaps we should suggest people
run "make clean" whenever they re-run configure, or something along
those lines.

d