diff options
| author | David Bremner <david@tethera.net> | 2015-01-25 15:04:51 +0100 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2015-01-25 15:04:51 +0100 |
| commit | b9e7b8e8f08e9abb18d8f0a9028b18932ff3e565 (patch) | |
| tree | 6bfd32239ab13b9fdf7417f165ea5e3ff133fcda /doc/Makefile.local | |
| parent | 8fb1cbc1c20f822844af7a59aa06c37aacd88b9c (diff) | |
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
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 0bdf2e12..e2097491 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -60,7 +60,7 @@ install-man: install-apidocs ifeq ($(HAVE_DOXYGEN),1) MAN_GZIP_FILES += ${APIMAN}.gz apidocs: $(APIMAN) -install-apidocs: apidocs +install-apidocs: ${APIMAN}.gz mkdir -p "$(DESTDIR)$(mandir)/man3" install -m0644 $(DOCBUILDDIR)/man/man3/*.3.gz $(DESTDIR)/$(mandir)/man3 |