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