changeset 13727:006342ca9f6f

gnulib.info-[0-9] are generated.
author Bruno Haible <bruno@clisp.org>
date Sat, 25 Sep 2010 12:33:07 +0200
parents 254f2b4bf21a
children e67e8c083d6d
files doc/.gitignore
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -16,6 +16,7 @@
 gnulib.info-3
 gnulib.info-4
 gnulib.info-5
+gnulib.info-6
 gnulib.html
 gnulib.pdf
 updated-stamp