From ec11c1ee0c1152821a992348fb6197e2c25b10c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Vinot?= <raphael@vinot.info>
Date: Tue, 30 Jan 2024 13:35:59 +0100
Subject: [PATCH] fix: Also skip docs from mypy.

---
 mypy.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mypy.ini b/mypy.ini
index 0351d61..f00223e 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -3,7 +3,7 @@ strict = True
 warn_return_any = False
 show_error_context = True
 pretty = True
-exclude = feed-generator|examples|pymisp/tools|pymisp/data|tests
+exclude = feed-generator|examples|pymisp/tools|pymisp/data|tests|docs
 
 # Stuff to remove gradually
 # disallow_untyped_defs = False