diff options
| author | David Bremner <david@tethera.net> | 2018-06-13 21:32:40 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-12-08 08:53:09 -0400 |
| commit | 0601d2337e05e6360a918244472f92db1c001fc5 (patch) | |
| tree | 41a358cb3dea166c8b25713c1a48a99363ad7b80 | |
| parent | 0a9fc49b90dc9fd1ae737f45a0b145f42ef6df36 (diff) | |
doc/emacs: require extracted docstrings for sphinx or info manual
We need to use the stamp file here in order not to depend on the order
the submakefiles are included.
| -rw-r--r-- | doc/Makefile.local | 4 |
1 files changed, 4 insertions, 0 deletions
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 |