commit: 61d0d80f2fc493d08a97bae1e507055015f55788 Author: Göktürk Yüksek <gokturk <AT> gentoo <DOT> org> AuthorDate: Thu Dec 26 22:43:02 2019 +0000 Commit: Göktürk Yüksek <gokturk <AT> gentoo <DOT> org> CommitDate: Thu Dec 26 22:43:02 2019 +0000 URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=61d0d80f
bin/build_search_documents.py: create search documents for <dl/>, <dd/>, <dt/> Signed-off-by: Göktürk Yüksek <gokturk <AT> gentoo.org> bin/build_search_documents.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/build_search_documents.py b/bin/build_search_documents.py index 38ffd24..b7b840c 100755 --- a/bin/build_search_documents.py +++ b/bin/build_search_documents.py @@ -83,10 +83,10 @@ def process_node(documents: list, node: ET.Element, name: str, url: str) -> None for child in node: process_node(documents, child, name, url) - elif node.tag in ['body', 'guide', 'li', 'ul', 'table', 'tr']: + elif node.tag in ['body', 'dl', 'guide', 'li', 'ul', 'table', 'tr']: for child in node: process_node(documents, child, name, url) - elif node.tag in ['p', 'important', 'note', 'warning', 'th', 'ti']: + elif node.tag in ['p', 'dd', 'dt', 'important', 'note', 'warning', 'th', 'ti']: text = stringify_node(node) documents.append({'id': len(documents),