chiark
/
gitweb
/
~cjwatson
/
blog.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
57dc7ba
)
documentation/doxygen: ignore branch that we have no chance of reaching.
author
Vladimír Vondruš
<mosra@centrum.cz>
Mon, 16 Sep 2024 17:52:08 +0000
(19:52 +0200)
committer
Vladimír Vondruš
<mosra@centrum.cz>
Mon, 16 Sep 2024 17:52:08 +0000
(19:52 +0200)
documentation/doxygen.py
patch
|
blob
|
history
diff --git
a/documentation/doxygen.py
b/documentation/doxygen.py
index 5b0d8e88463e16f79887b8be84dc118f694b6c9c..530d6db22a48eade2bb1ab2f9eda48ef4de04891 100755
(executable)
--- a/
documentation/doxygen.py
+++ b/
documentation/doxygen.py
@@
-1751,7
+1751,7
@@
def parse_desc_internal(state: State, element: ET.Element, immediate_parent: ET.
try:
entity = mapping[i.tag]
out.parsed += '&{};'.format(entity)
- except:
+ except:
# pragma: no cover
logging.warning("{}: ignoring <{}> in desc".format(state.current, i.tag))
# Now we can reset previous_section to None, nobody needs it anymore.