diff --git a/.gitignore b/.gitignore
index ff64370..83d2178 100644
--- a/.gitignore
+++ b/.gitignore
@@ -106,3 +106,4 @@ COMUN/
 
 docs/diff_runda*.patch
 .gstack/
+docs/local/