[gi-docgen: 7/7] Merge branch 'check-ignore' into 'main'

[Emmanuele Bassi <ebassi src gnome org>]

commit 32dfa8b0f01e346a3aacddd15a74b0fe2fcbb6e6
Merge: a0824f3 fafe5ec
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Fri Jun 11 13:04:38 2021 +0000

    Merge branch 'check-ignore' into 'main'
    
    config: Add a condition for skipped symbols during check
    
    See merge request GNOME/gi-docgen!81

 docs/gi-docgen.1                       |   3 +
 docs/project-configuration.rst         |  25 ++++++-
 docs/tools/check.rst                   |   3 +
 gidocgen/config.py                     |  14 +++-
 gidocgen/gdcheck.py                    | 125 ++++++++++++++++++++++++++++-----
 gidocgen/gdgenerate.py                 |   9 ++-
 gidocgen/log.py                        |   6 +-
 gidocgen/templates/basic/function.html |   2 +-
 8 files changed, 158 insertions(+), 29 deletions(-)
---