X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=doc%2FMakefile.local;h=eec9c228379a59688a2d9c54863c81c16e600950;hb=fcf68eec316fac60ac092b6f7b28a6758652e597;hp=16459e3544c2d7d668691ad89e3f20457dcf77b3;hpb=2f4beda434c59f9e2f5b7c32d26543bad7217ad4;p=notmuch diff --git a/doc/Makefile.local b/doc/Makefile.local index 16459e35..eec9c228 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -37,6 +37,10 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info) %.gz: % rm -f $@ && gzip --stdout $^ > $@ +ifeq ($(WITH_EMACS),1) +sphinx-html sphinx-texinfo: docstring.stamp +endif + sphinx-html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(DOCBUILDDIR)/html