diff --git a/docs/source/command_line.rst b/docs/source/command_line.rst index c1b757a00ef2..27ae445a7c07 100644 --- a/docs/source/command_line.rst +++ b/docs/source/command_line.rst @@ -85,8 +85,9 @@ for full details, see :ref:`running-mypy`. This flag will add everything that matches ``.gitignore`` file(s) to :option:`--exclude`. +.. _optional-arguments: -Optional arguments +Utility arguments ****************** .. option:: -h, --help diff --git a/mypy/main.py b/mypy/main.py index b543cd33fe44..357bc2a5f169 100644 --- a/mypy/main.py +++ b/mypy/main.py @@ -549,7 +549,7 @@ def add_invertible_flag( # long and will break up into multiple lines if we include that prefix, so for consistency # we omit the prefix on all links.) - general_group = parser.add_argument_group(title="Optional arguments") + general_group = parser.add_argument_group(title="Utility arguments") general_group.add_argument( "-h", "--help", action="help", help="Show this help message and exit" )