diff --git a/.gitignore b/.gitignore
index b2cd2fa..c7eeb4e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ src/docs/*.pdf
 *.glo
 *.ist
 *.xdy
+.dot/*