summaryrefslogtreecommitdiffstats
path: root/docs/Makefile
diff options
context:
space:
mode:
authorPaul Vinciguerra <pvinci@vinciconsulting.com>2020-03-24 16:37:40 -0400
committerDave Wallace <dwallacelf@gmail.com>2020-12-21 23:23:13 +0000
commit630ca994e0ff210a3de80d73bb395c931d2fd83f (patch)
tree595df13a399512674ff7ea2a19ea4e442f610151 /docs/Makefile
parentdfd1caf24e94fc825edea6f669a4b1fbd687ed44 (diff)
docs: update list of plugins
The list of plugins is outdated. This change introduces a dynamically generated list of the plugins along with their descriptions, extracted directly from the sources. Type: docs Change-Id: Icb7b65e6b45289e257d71a1c18d10f62ced59cbe Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile2
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: