X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=c24b805ae8a18a367325e18fd5268672480a848c;hb=refs%2Fbuilds%2F20100313040505%2Fpspp;hp=34a109ebd7340706b3eb4e9331430d8f178d8ec2;hpb=d030506bfdce24f229ada8b5610d341a2a80e866;p=pspp

diff --git a/.gitignore b/.gitignore
index 34a109ebd7..c24b805ae8 100644
--- 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,8 @@ gitlog-to-changelog
 *.a
 *.dirstamp
 *.deps
+*.la
+*.libs
+/arg-nonnull.h
+/package.m4
+/unused-parameter.h