diff --git a/doc/class.xsd b/doc/class.xsd index 8133c5af63..661e5ef3f5 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 d0706844f3..f343fe6b22 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 1a37ee316b..76f17bf016 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