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

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