diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 6c5960d18c4..49938640a34 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -27,6 +27,8 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile +# Generate dynamic content + @python3 ./includes_renderer.py @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) spell: |