From c16db0935f97ab492b3f0a5097c0b680d7341ce5 Mon Sep 17 00:00:00 2001
From: Hugo Locurcio <hugo.locurcio@hugo.pro>
Date: Thu, 13 Jul 2023 05:20:44 +0200
Subject: Fix `doc_status.py` trying to get removed `version` tag from XML

This also runs `doc_status.py` on CI to catch potential future regressions.
---
 doc/tools/doc_status.py | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'doc/tools/doc_status.py')

diff --git a/doc/tools/doc_status.py b/doc/tools/doc_status.py
index 376addcff0..717a468b36 100755
--- a/doc/tools/doc_status.py
+++ b/doc/tools/doc_status.py
@@ -383,12 +383,6 @@ for file in input_file_list:
     tree = ET.parse(file)
     doc = tree.getroot()
 
-    if "version" not in doc.attrib:
-        print('Version missing from "doc"')
-        sys.exit(255)
-
-    version = doc.attrib["version"]
-
     if doc.attrib["name"] in class_names:
         continue
     class_names.append(doc.attrib["name"])
-- 
cgit v1.2.3