From: Bruno Haible Date: Sat, 14 Aug 2010 17:58:28 +0000 (+0200) Subject: Ignore one more generated index from makeinfo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=baae8798ddc1855f57c7dbeebd91a3a2d1c11633;p=pspp Ignore one more generated index from makeinfo. --- diff --git a/doc/.gitignore b/doc/.gitignore index f17baef2cd..b3d2a05339 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,4 +1,5 @@ gnulib.aux +gnulib.cn gnulib.cp gnulib.cps gnulib.fn