X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=ad89bf36e4884d85df1c47754057f8b2e1635d28;hb=aab678241495f66cf0f9e495cb8bd8bd3f7a2255;hp=c29aff49c289ab840d09237d12b2b4002885adf8;hpb=371a340b7b71f9dcd87b8df1cca265d256a471af;p=pspp-builds.git

diff --git a/.gitignore b/.gitignore
index c29aff49..ad89bf36 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,5 +30,12 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
+*~
+*.o
+*.lo
+*.a
+*.dirstamp
+*.deps
+*.la
+*.libs