diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-03-24 16:37:40 -0400 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2020-12-21 23:23:33 +0000 |
| commit | f097300c2bd980abdc485e008628aec987340990 (patch) | |
| tree | 5c4890704ac0b0b6ba10ec25d43d1692a9e5ad71 /docs/Makefile | |
| parent | da45810ce92dd69dfaf0ac933fb6ed81cf2ed86c (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>
(cherry picked from commit 630ca994e0ff210a3de80d73bb395c931d2fd83f)
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: |