X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=blobdiff_plain;f=.gitignore;h=ad89bf36e4884d85df1c47754057f8b2e1635d28;hp=b50c6a377a2ab182f2ebaddd06e8abfc12ac5ca3;hb=HEAD;hpb=9f255a7d7f35f2bbde3e0f79886ea17931933d35

diff --git a/.gitignore b/.gitignore
index b50c6a37..ad89bf36 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,7 +30,6 @@ potfiles.tmp
 pref.h
 reloc-ldflags
 stamp-h1
-texinfo.tex
 gitlog-to-changelog
 *~
 *.o