diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3557ac505..381ab90ad 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -118,8 +118,11 @@ html devhelp: templates sessions $(SPHINXBUILD) -b $@ $(ALLSPHINXOPTS) "$(BUILDDIR)/$@" \ $(wildcard source/*.rst) \ $(wildcard source/tutorial/*.rst) \ + $(wildcard source/advanced-features/*.rst) \ $(wildcard source/examples/*.rst) \ $(wildcard source/elements/*.rst) \ $(wildcard source/sources/*.rst) @echo @echo "Build of $@ finished, output: $(CURDIR)/$(BUILDDIR)/$@" +# Makefile for Sphinx documentation +# |