diff options
| author | David Bremner <david@tethera.net> | 2018-12-20 17:30:11 +0900 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-12-20 17:30:11 +0900 |
| commit | e52535029b3976589e2817da515fd98120718947 (patch) | |
| tree | b38ae85601bcde08f165665a62ad0d556be1cf0f /doc/Makefile.local | |
| parent | fcf68eec316fac60ac092b6f7b28a6758652e597 (diff) | |
doc: make man pages depend on emacs docstrings
This is nonsensical on the face of it, but is needed (for now) because
the notmuch-emacs page is unconditionally included in index.rst.
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 eec9c228..f53b3702 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -38,7 +38,7 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info) rm -f $@ && gzip --stdout $^ > $@ ifeq ($(WITH_EMACS),1) -sphinx-html sphinx-texinfo: docstring.stamp +$(DOCBUILDDIR)/.roff.stamp sphinx-html sphinx-texinfo: docstring.stamp endif sphinx-html: |