Gentoo Archives: gentoo-commits

From: "Göktürk Yüksek" <gokturk@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/devmanual:master commit in: bin/
Date: Thu, 26 Dec 2019 22:44:34
Message-Id: 1577400182.61d0d80f2fc493d08a97bae1e507055015f55788.gokturk@gentoo
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),