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