1 files changed, 3 insertions, 1 deletions
diff --git a/run_mypy.py b/run_mypy.py
index 0070a5b..5a4b66d 100755
--- a/run_mypy.py
+++ b/run_mypy.py
@@ -53,7 +53,9 @@ modules = [
     'run_mypy.py',
     'run_project_tests.py',
     'run_single_test.py',
-    'tools'
+    'tools',
+    'docs/genrefman.py',
+    'docs/refman',
 ]
 
 if os.name == 'posix':