godot/doc/tools
Hugo Locurcio f0b860fbad
makerst: Improve error reporting
- List file names before error descriptions, as is common in linters.
- Print the number of errors reported at the end of the list.
- Use double quotes instead of single quotes in messages.
2022-04-11 02:34:37 +02:00
..
doc_status.py Update doc_status script to support constructors and operators docs 2022-01-07 23:50:10 +01:00
make_rst.py makerst: Improve error reporting 2022-04-11 02:34:37 +02:00