From 56fdc093fb4d19f41642c3bfd6b4966c4c587d4d Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 25 Sep 2010 12:33:07 +0200 Subject: [PATCH] gnulib.info-[0-9] are generated. --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/.gitignore b/doc/.gitignore index b3d2a05339..68fb60458e 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -16,6 +16,7 @@ gnulib.info-2 gnulib.info-3 gnulib.info-4 gnulib.info-5 +gnulib.info-6 gnulib.html gnulib.pdf updated-stamp -- 2.30.2