From: Bruno Haible Date: Sat, 25 Sep 2010 10:33:07 +0000 (+0200) Subject: gnulib.info-[0-9] are generated. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=56fdc093fb4d19f41642c3bfd6b4966c4c587d4d;p=pspp gnulib.info-[0-9] are generated. --- 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