projects / gnulib.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 52a32bb)
gnulib.info-[0-9] are generated.
authorBruno Haible <bruno@clisp.org>
Sat, 25 Sep 2010 10:33:07 +0000 (12:33 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 25 Sep 2010 10:33:07 +0000 (12:33 +0200)
doc/.gitignore patch | blob | history

diff --git a/doc/.gitignore b/doc/.gitignore
index b3d2a05..68fb604 100644 (file)
--- 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
gnulib debian + stable branches