From: Vladimír Vondruš Date: Mon, 16 Sep 2024 17:52:08 +0000 (+0200) Subject: documentation/doxygen: ignore branch that we have no chance of reaching. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=56c1d16be2a7c0ee15e6e7a0ab24642c543c7f7e;p=blog.git documentation/doxygen: ignore branch that we have no chance of reaching. --- diff --git a/documentation/doxygen.py b/documentation/doxygen.py index 5b0d8e88..530d6db2 100755 --- 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.