X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=doc%2FMakefile.local;h=dfe62295d0965fed478a75d06361ca123ae934bc;hp=cb0f1f6488f6d9cbe0e3e8d345c5d90053c2de9c;hb=0557c5a0333b971188c02c961dec88496f2eed0c;hpb=d124c0e416bb59cc4cbdca7694bae7097dcee810 diff --git a/doc/Makefile.local b/doc/Makefile.local index cb0f1f64..dfe62295 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) +$(DOCBUILDDIR)/.roff.stamp sphinx-html sphinx-texinfo: docstring.stamp +endif + # Sequentialize the calls to sphinx-build to avoid races with # reading/writing cached state. This uses GNU make specific # "order-only" prerequisites. @@ -52,7 +56,7 @@ sphinx-texinfo: $(SPHINXBUILD) -b texinfo $(ALLSPHINXOPTS) $(DOCBUILDDIR)/texinfo sphinx-info: sphinx-texinfo - make -C $(DOCBUILDDIR)/texinfo info + $(MAKE) -C $(DOCBUILDDIR)/texinfo info # Use the man page converter that is available. We should never depend # on MAN_ROFF_FILES if a converter is not available.