From baae8798ddc1855f57c7dbeebd91a3a2d1c11633 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 14 Aug 2010 19:58:28 +0200 Subject: [PATCH] Ignore one more generated index from makeinfo. --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/.gitignore b/doc/.gitignore index f17baef2c..b3d2a0533 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,4 +1,5 @@ gnulib.aux +gnulib.cn gnulib.cp gnulib.cps gnulib.fn -- 2.11.0