doc: custom list filter directive

Custom directive that allows for creation of lists where the content can be filtered based on target. Closes IDF-1385
2025-09-22 09:01:08 +00:00 · 2020-02-13 17:14:39 +08:00
parent 8d8337e80c
commit 63b76a9d90
4 changed files with 76 additions and 1 deletions
--- a/docs/conf_common.py
+++ b/docs/conf_common.py
@@ -53,6 +53,7 @@ extensions = ['breathe',

              'extensions.html_redirects',
              'extensions.toctree_filter',
+              'extensions.list_filter',

              'idf_extensions.include_build_file',
              'idf_extensions.link_roles',