Hugo Locurcio 23e08b0fad Improve the doc_status.py console output ...

- Duplicate the header when the `-a` flag is enabled. Since lots of
  items are displayed in this case, this helps the user remember
  which column is which without having to scroll back to the top.
- Bolden the overall percentages for easier visual grepping.

(cherry picked from commit 7c3f6b2870)

2020-02-12 14:59:21 +01:00

..

doc_merge.py

Add a pre-commit hook to check the class reference syntax

2019-12-06 23:40:19 +01:00

doc_status.py

Improve the doc_status.py console output

2020-02-12 14:59:21 +01:00

makerst.py

doc: Drop unused 'category' property from header

2020-01-26 16:02:39 +01:00