X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;fp=doc%2F.gitignore;h=06eb3bb18a49b17bb6a488f2c2a259d95e6be159;hb=5f53ff1a746b0654bf3ea93ed4280b74f0cf2201;hp=0000000000000000000000000000000000000000;hpb=73f67789df91a09ee91976434fb15c2ee1fb5e78;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000000..06eb3bb18a
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,9 @@
+Makefile
+Makefile.in
+ni.texi
+pspp-dev.info
+pspp.info*
+stamp-1
+stamp-vti
+version-dev.texi
+version.texi