From feb056d102539e7a093a473b864f5750028cfd42 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Fri, 1 Apr 2022 12:07:39 +0200 Subject: [PATCH] documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html. Made an error in 45911a18 and apparently it was fine because it silently returned in some later check. --- documentation/doxygen.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/doxygen.py b/documentation/doxygen.py index 207975f2..3d34a01e 100755 --- a/documentation/doxygen.py +++ b/documentation/doxygen.py @@ -2536,7 +2536,7 @@ def parse_xml(state: State, xml: str): # All these early returns were logged in extract_metadata() already, no # need to print the same warnings/errors twice. Keep the two consistent. - if state.current == 'Doxyfile.html': + if state.current == 'Doxyfile.xml': return logging.debug("Parsing {}".format(state.current)) -- 2.30.2