mirror of https://github.com/godotengine/godot
Merge pull request #79406 from Calinou/docstatus-fix-version
Fix `doc_status.py` trying to get removed `version` tag from XML
This commit is contained in:
commit
d087eb7faa
|
|
@ -86,6 +86,7 @@ jobs:
|
||||||
|
|
||||||
- name: Documentation checks
|
- name: Documentation checks
|
||||||
run: |
|
run: |
|
||||||
|
doc/tools/doc_status.py doc/classes modules/*/doc_classes platform/*/doc_classes
|
||||||
doc/tools/make_rst.py --dry-run --color doc/classes modules platform
|
doc/tools/make_rst.py --dry-run --color doc/classes modules platform
|
||||||
|
|
||||||
- name: Style checks via clang-format (clang_format.sh)
|
- name: Style checks via clang-format (clang_format.sh)
|
||||||
|
|
|
||||||
|
|
@ -383,12 +383,6 @@ for file in input_file_list:
|
||||||
tree = ET.parse(file)
|
tree = ET.parse(file)
|
||||||
doc = tree.getroot()
|
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:
|
if doc.attrib["name"] in class_names:
|
||||||
continue
|
continue
|
||||||
class_names.append(doc.attrib["name"])
|
class_names.append(doc.attrib["name"])
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue