X-Git-Url: https://git.cworth.org/git?a=blobdiff_plain;f=doc%2FMakefile.local;h=d43ef26923bcd9f192047ff2f5d5b1c101a62d0c;hb=306b7028d2288a3002cdbbcf8fd0973d8d969b84;hp=c2ae1743b0fa42bd04989990c7346ce9123fe6b1;hpb=b7e08901e8ab695fb75de0528871771009f49aa8;p=notmuch diff --git a/doc/Makefile.local b/doc/Makefile.local index c2ae1743..d43ef269 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -117,6 +117,11 @@ build-man: install-man: @echo "No sphinx, will not install man pages." else + +# it should be safe to depend on the stamp file, because it is created +# after all roff files are moved into place. +${MAN_GZIP_FILES}: ${DOCBUILDDIR}/.roff.stamp + build-man: ${MAN_GZIP_FILES} install-man: ${MAN_GZIP_FILES} mkdir -m0755 -p "$(DESTDIR)$(mandir)/man1"