X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=56d869b2b4951552e97c3d0a5afdf2794216bce1;hb=32669655d196fa0983ba23d1c55b8c81883e04d3;hp=b50c6a377a2ab182f2ebaddd06e8abfc12ac5ca3;hpb=9a331fe64eb814ae5c1322e21717a04fb254bf65;p=pspp

diff --git a/.gitignore b/.gitignore
index b50c6a377a..56d869b2b4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,7 +30,6 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
 *~
 *.o
@@ -40,3 +39,4 @@ gitlog-to-changelog
 *.deps
 *.la
 *.libs
+/package.m4