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) --- I'll do better one... hmm, next week (unless someone gets there first \o/) doc/Makefile.local | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/doc/Makefile.local b/doc/Makefile.local index 0bdf2e12fc0f..41cba607947d 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -32,7 +32,9 @@ sphinx-info: sphinx-texinfo -include $(dir)/docdeps.mk +ifeq ($(HAVE_SPHINX),1) MAN_GZIP_FILES := $(addsuffix .gz,${MAN_ROFF_FILES}) +endif # Use the man page converter that is available. We should never depend # on MAN_ROFF_FILES if a converter is not available. @@ -74,15 +76,14 @@ apidocs: install-apidocs: endif -# Do not try to build or install man pages if a man page converter is -# not available. +build-man: ${MAN_GZIP_FILES} +install-man: ${MAN_GZIP_FILES} + ifeq ($(HAVE_SPHINX),0) -build-man: install-man: @echo "No sphinx, will not install man pages." else -build-man: ${MAN_GZIP_FILES} -install-man: ${MAN_GZIP_FILES} +install-man: mkdir -p "$(DESTDIR)$(mandir)/man1" mkdir -p "$(DESTDIR)$(mandir)/man5" mkdir -p "$(DESTDIR)$(mandir)/man7" -- 2.0.0