From 8a4da4c1571e1c3b1239e9cdf68ebf579d899b40 Mon Sep 17 00:00:00 2001 From: Relintai Date: Fri, 20 Sep 2024 08:59:08 +0200 Subject: [PATCH] Backported: Doctool: Remove version attribute from XML header. Doctool: Remove version attribute from XML header We don't use that info for anything, and it generates unnecessary diffs every time we bump the minor version (and CI failures if we forget to sync some files from opt-in modules (mono, text_server_fb). - akien-mga https://github.com/godotengine/godot/commit/32ddd4f4e0253eecc7eb9aecfebba60e46a4ff66 --- doc/class.xsd | 1 - doc/tools/make_rst.py | 4 ---- editor/doc/doc_data.cpp | 1 - 3 files changed, 6 deletions(-) diff --git a/doc/class.xsd b/doc/class.xsd index 8133c5af6..661e5ef3f 100644 --- a/doc/class.xsd +++ b/doc/class.xsd @@ -148,7 +148,6 @@ - diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index d0706844f..f343fe6b2 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -489,10 +489,6 @@ def main() -> None: continue doc = tree.getroot() - if "version" not in doc.attrib: - print_error(f'{cur_file}: "version" attribute missing from "doc".', state) - continue - name = doc.attrib["name"] if name in classes: print_error(f'{cur_file}: Duplicate class "{name}".', state) diff --git a/editor/doc/doc_data.cpp b/editor/doc/doc_data.cpp index 1a37ee316..76f17bf01 100644 --- a/editor/doc/doc_data.cpp +++ b/editor/doc/doc_data.cpp @@ -1119,7 +1119,6 @@ Error DocData::save_classes(const String &p_default_path, const RBMap