[gentoo-commits] proj/devmanual:master commit in: bin/

[Göktürk Yüksek]

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),