[PATCH] doc: gzipped notmuch.3 before trying to install notmuch.3.gz

[David Bremner]

David Bremner <david at tethera.net> writes:

> If HAVE_SPHINX=0 but HAVE_DOXYGEN=1, then the previous version was
> trying to install notmuch.3.gz but only got as far as creating
> notmuch.3
> ---
pushed.

d