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 /doc | |
| 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.
Diffstat (limited to 'doc')
| -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 |