doc: Ignore generated documentation files.

[pspp] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644 (file)
index 0000000..2e9fd1a
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,25 @@
+help-pages-list
+ni.texi
+pspp*.aux
+pspp*.cp
+pspp*.cps
+pspp*.fn
+pspp*.fns
+pspp*.ky
+pspp*.log
+pspp*.pg
+pspp*.toc
+pspp*.tp
+pspp*.tps
+pspp*.vr
+pspp*.vrs
+pspp-dev.info
+pspp-dev.info-*
+pspp.info
+pspp.info-*
+pspp.xml
+stamp-1
+stamp-vti
+tut.texi
+version-dev.texi
+version.texi