diff --git a/.gitignore b/.gitignore
index e1aa9a9..c9a5ae3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@
 
 ## Intermediate documents:
 *.dvi
+*.xdv
 *-converted-to.*
 # these rules might exclude image files for figures etc.
 # *.ps