Added documentation to ignore list

Vishal Thenge · Vishal Thenge · commit 345518daace3 · 2025-04-18T09:44:04.000-07:00
diff --git a/src/Discovery/Filters.hs b/src/Discovery/Filters.hs
@@ -210,6 +210,8 @@ ignoredPaths =
   [ "dist-newstyle"
   , "doc/"
   , "docs/"
+  , "Documentation/"
+  , "documentation/"
   , "test/"
   , "tests/"
   , "example/"
