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:13 +0000 |
| commit | 630ca994e0ff210a3de80d73bb395c931d2fd83f (patch) | |
| tree | 595df13a399512674ff7ea2a19ea4e442f610151 /.gitignore | |
| parent | dfd1caf24e94fc825edea6f669a4b1fbd687ed44 (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 '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ea330241549..19378e8584a 100644 --- a/.gitignore +++ b/.gitignore @@ -81,6 +81,7 @@ GTAGS /build-root/.doxygen-bootstrap.ok /build-root/.doxygen-siphon.dep /docs/_build +/docs/dynamic_includes /sphinx_venv !/docs/Makefile |