X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2F.gitignore;h=c375556614708dbe4d085e3066efc56809a0007e;hb=608b1765241e7c6f9bd5e86a8f81cf15edeb413b;hp=06eb3bb18a49b17bb6a488f2c2a259d95e6be159;hpb=5f53ff1a746b0654bf3ea93ed4280b74f0cf2201;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index 06eb3bb18a..c375556614 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -3,6 +3,7 @@ Makefile.in
 ni.texi
 pspp-dev.info
 pspp.info*
+pspp.xml
 stamp-1
 stamp-vti
 version-dev.texi