exclude docs, remove type ignore comment

herobank110 · The-Compiler · commit 99f07d5874ea · 2025-06-25T11:43:52.000+02:00
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -50,3 +50,4 @@ repos:
     rev: 'v1.16.0'
     hooks:
     -   id: mypy
+        exclude: ^docs/
diff --git a/docs/conf.py b/docs/conf.py
@@ -174,7 +174,7 @@
     # 'pointsize': '10pt',
     # Additional stuff for the LaTeX preamble.
     # 'preamble': '',
-}  # type: dict[str, str]
+}
 
 # Grouping the document tree into LaTeX files. List of tuples
 # (source start file, target name, title, author, documentclass [howto/manual]).
diff --git a/mypy.ini b/mypy.ini
@@ -1,5 +1,5 @@
 [mypy]
-files = src,tests
+exclude = ^docs/
 no_implicit_optional = True
 pretty = True
 show_error_codes = True
