1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 2dfdd966..143d724d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ x15.lds
 /x15
 /doc/*\.[1-9]
 /doc/*\.[1-9]\.html
+/doc/*\.[1-9]\.xml