doc: Distribute doc/pspp.xml, so that users don't need makeinfo or xmllint.

[pspp-builds.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 34a109ebd7340706b3eb4e9331430d8f178d8ec2..f8c59fe0c75a72c414585427f21303daca8261b7 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -30,7 +30,6 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
 *~
 *.o
@@ -38,3 +37,7 @@ gitlog-to-changelog
 *.a
 *.dirstamp
 *.deps
+*.la
+*.libs
+/arg-nonnull.h
+/unused-parameter.h