From: Vladimír Vondruš <mosra@centrum.cz>
Date: Fri, 1 Apr 2022 10:07:39 +0000 (+0200)
Subject: documentation: it's Doxyfile.xml I shall ignore, not Doxyfile.html.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=feb056d102539e7a093a473b864f5750028cfd42;p=blog.git

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.
---

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))