From: Bruno Haible <bruno@clisp.org>
Date: Sat, 13 Mar 2010 15:12:38 +0000 (+0100)
Subject: gnulib.info-[0-9] are generated.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4735b7faf6be8578cd8109efead5b781abd1439d;p=pspp

gnulib.info-[0-9] are generated.
---

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