docs: update list of plugins 11/30511/1
authorPaul Vinciguerra <pvinci@vinciconsulting.com>
Tue, 24 Mar 2020 20:37:40 +0000 (16:37 -0400)
committerDave Wallace <dwallacelf@gmail.com>
Mon, 21 Dec 2020 23:23:53 +0000 (23:23 +0000)
commitd1598d4274f89b9e3ad87ddb4995fa0d7919503d
treecfff0a2877ee04a0720626c2eb306b2ab631f802
parent1e44cf53b5611b46657f5742784ec85c35d36767
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)
.gitignore
docs/Makefile
docs/dynamic_includes/.gitkeep [new file with mode: 0644]
docs/gettingstarted/installing/packages.rst
docs/includes_renderer.py [new file with mode: 0644]