diff --git a/mypy.ini b/mypy.ini index 2ad047526..ffdd91a23 100644 --- a/mypy.ini +++ b/mypy.ini @@ -7,3 +7,6 @@ ignore_missing_imports = True [mypy-setuptools.*] ignore_missing_imports = True + +[mypy-sphinx.util] +ignore_missing_imports = True