diff options
| author |   Göktürk Yüksek <gokturk@gentoo.org> | 2020-01-02 18:56:26 -0500 |
|---|---|---|
| committer | Göktürk Yüksek <gokturk@gentoo.org> | 2020-01-02 18:56:26 -0500 |
| commit | bf62b78f01dd8676403b03af942c42a56a145625 (patch) | |
| tree | e282e8ca2d48839bb9b1fc8a0301a8412cdfdd4a /bin | |
| parent | Makefile: Output a message if tidy succeeded. (diff) | |
| download | devmanual-bf62b78f01dd8676403b03af942c42a56a145625.tar.gz devmanual-bf62b78f01dd8676403b03af942c42a56a145625.tar.bz2 devmanual-bf62b78f01dd8676403b03af942c42a56a145625.zip | |
bin/build_search_documents.py: <li/> is a terminal node, not intermediary
Process <li/> as a terminal node.
Reported-by: Ulrich Müller <ulm@gentoo.org>
Signed-off-by: Göktürk Yüksek <gokturk@gentoo.org>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build_search_documents.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build_search_documents.py b/bin/build_search_documents.py index b7b840c..6782969 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', 'dl', 'guide', 'li', 'ul', 'table', 'tr']: + elif node.tag in ['body', 'dl', 'guide', 'ul', 'table', 'tr']: for child in node: process_node(documents, child, name, url) - elif node.tag in ['p', 'dd', 'dt', 'important', 'note', 'warning', 'th', 'ti']: + elif node.tag in ['p', 'dd', 'dt', 'important', 'li', 'note', 'warning', 'th', 'ti']: text = stringify_node(node) documents.append({'id': len(documents), |