[gi-docgen/check-ignore: 5/6] docs: Update the check command documentation

[Emmanuele Bassi <ebassi src gnome org>]

commit eb6a0e11cc7c042303759d1b9200db0933a96ed6
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Fri Jun 11 13:41:23 2021 +0100

    docs: Update the check command documentation
    
    We have a new command line argument.

 docs/gi-docgen.1     | 3 +++
 docs/tools/check.rst | 3 +++
 2 files changed, 6 insertions(+)
---
diff --git a/docs/gi-docgen.1 b/docs/gi-docgen.1
index 1d64cbd..2947c93 100644
--- a/docs/gi-docgen.1
+++ b/docs/gi-docgen.1
@@ -134,6 +134,9 @@ as part of a test suite.
 
 .SS "options:"
 .TP
+.BI \-\-config\fB= FILE
+use the given project configuration file
+.TP
 .BI \-\-add\-include\-path\fB= PATH
 add a directory to the path which the scanner uses to find GIR files. Can
 be used multiple times to specify multiple directories
diff --git a/docs/tools/check.rst b/docs/tools/check.rst
index f1e7bc4..6c6a065 100644
--- a/docs/tools/check.rst
+++ b/docs/tools/check.rst
@@ -30,3 +30,6 @@ OPTIONS
   for GIR files is ``$XDG_DATA_DIRS/gir-1.0`` and ``$XDG_DATA_HOME/gir-1.0``;
   this option is typically used to include uninstalled GIR files, or
   non-standard locations.
+
+``-C, --config FILE``
+  Loads a project configuration file.