[gi-docgen: 2/2] Merge branch 'check-command' into 'main'

[Emmanuele Bassi <ebassi src gnome org>]

commit 71c19e5b1ee477042a9f37f4f121275cd67ae0bb
Merge: 28e9ec7 c1d272c
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Thu Jun 3 15:53:28 2021 +0000

    Merge branch 'check-command' into 'main'
    
    Add a "check" command
    
    Closes #51
    
    See merge request GNOME/gi-docgen!76

 docs/gi-docgen.1      |  18 ++++
 docs/tools/check.rst  |  32 ++++++
 docs/tools/index.rst  |   6 +-
 gidocgen/gdcheck.py   | 280 ++++++++++++++++++++++++++++++++++++++++++++++++++
 gidocgen/gidocmain.py |   6 +-
 5 files changed, 340 insertions(+), 2 deletions(-)
---