changeset 12987:1a639caec054

gnulib.info-[0-9] are generated.
author Bruno Haible <bruno@clisp.org>
date Sat, 13 Mar 2010 16:12:38 +0100
parents bfc76977457d
children f1702810061f
files doc/.gitignore
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -13,6 +13,8 @@
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.info-4
+gnulib.info-5
 gnulib.html
 gnulib.pdf
 updated-stamp