diff --git a/.gitignore b/.gitignore
index fc4d0b89ee6445373cd0aaaf3f2d25a302585f7a..5701abc20f957a6317b4ef8319425bf869f60c7c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,6 +28,7 @@ slides/*.pdf
 *.fot
 *.cb
 *.cb2
+*.run.xml
 
 ## Intermediate documents:
 *.dvi