From c204847a48e8112879ee0b5f84eae367da4eaddc Mon Sep 17 00:00:00 2001 From: wyattscarpenter Date: Thu, 18 Sep 2025 02:55:28 +0700 Subject: [PATCH] Rename optional arguments to utility arguments. The rationale behind this being that all of our arguments are optional. But these are options that deal with the program as a utility (eg, version number) so that's a more fitting name. The old anchor is recreated to aid incoming old links. I have manually verified that the --help looks right. --- docs/source/command_line.rst | 3 ++- mypy/main.py | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) 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" )