doc: gzipped notmuch.3 before trying to install notmuch.3.gz
authorDavid Bremner <david@tethera.net>
Sun, 25 Jan 2015 14:04:51 +0000 (15:04 +0100)
committerDavid Bremner <david@tethera.net>
Sun, 25 Jan 2015 14:04:51 +0000 (15:04 +0100)
commitb9e7b8e8f08e9abb18d8f0a9028b18932ff3e565
tree6bfd32239ab13b9fdf7417f165ea5e3ff133fcda
parent8fb1cbc1c20f822844af7a59aa06c37aacd88b9c
doc: gzipped notmuch.3 before trying to install notmuch.3.gz

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
doc/Makefile.local