diff --git a/docs/source/command_line.rst b/docs/source/command_line.rst index 2d82d2b83517..c4e502b425da 100644 --- a/docs/source/command_line.rst +++ b/docs/source/command_line.rst @@ -58,7 +58,9 @@ for full details, see :ref:`running-mypy`. For instance, to avoid discovering any files named `setup.py` you could pass ``--exclude '/setup\.py$'``. Similarly, you can ignore discovering directories with a given name by e.g. ``--exclude /build/`` or - those matching a subpath with ``--exclude /project/vendor/``. + those matching a subpath with ``--exclude /project/vendor/``. To ignore + multiple files / directories / paths, you can combine expressions with + ``|``, e.g ``--exclude '/setup\.py$|/build/'``. Note that this flag only affects recursive discovery, that is, when mypy is discovering files within a directory tree or submodules of a package to