X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=68fb60458e20541bec0c3a24a35f2d0787e57cd2;hb=6ca14d85c529a96e61a43acefd84bf526e744939;hp=fbefd1b8e7032fa0b487ed98fee695fa738040aa;hpb=64b4877ad411880f85337ca80c929ac0ec23a6e9;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index fbefd1b8e7..68fb60458e 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,4 +1,5 @@
 gnulib.aux
+gnulib.cn
 gnulib.cp
 gnulib.cps
 gnulib.fn
@@ -13,6 +14,9 @@ gnulib.info
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.info-4
+gnulib.info-5
+gnulib.info-6
 gnulib.html
 gnulib.pdf
 updated-stamp