X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=ad89bf36e4884d85df1c47754057f8b2e1635d28;hb=7665da99ed70c1a5ffee47e99e1672244b444ed4;hp=1d69e1696363c481df809fff20fbafe821dfce85;hpb=c3ac5a8af9c449072c7e872ca70a78c1755ae309;p=pspp

diff --git a/.gitignore b/.gitignore
index 1d69e16963..ad89bf36e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,7 +30,6 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
 *~
 *.o
@@ -39,3 +38,4 @@ gitlog-to-changelog
 *.dirstamp
 *.deps
 *.la
+*.libs