doc: Ignore generated documentation files.

diff --git a/.gitignore b/.gitignore
index 1f487851c22a1bb0485e9a6f7a6940f36a2dcb07..43e70c42174e784d30fc93db6e9fc5ae38977909 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -20,18 +20,6 @@ build-aux/snippet/
 config.h.in
 config.h.in~
 configure
-doc/help-pages-list
-doc/ni.texi
-doc/pspp-dev.info
-doc/pspp.info
-doc/pspp.info-1
-doc/pspp.info-2
-doc/pspp.xml
-doc/stamp-1
-doc/stamp-vti
-doc/tut.texi
-doc/version-dev.texi
-doc/version.texi
 gl/
 m4/
 package.m4

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