From 4735b7faf6be8578cd8109efead5b781abd1439d Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 13 Mar 2010 16:12:38 +0100 Subject: [PATCH] gnulib.info-[0-9] are generated. --- doc/.gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/.gitignore b/doc/.gitignore index fbefd1b8e7..f17baef2cd 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -13,6 +13,8 @@ gnulib.info gnulib.info-1 gnulib.info-2 gnulib.info-3 +gnulib.info-4 +gnulib.info-5 gnulib.html gnulib.pdf updated-stamp -- 2.30.2