From 868a38673080c61a27194ad57e833e4460a21729 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Wed, 3 Oct 2007 14:07:57 +0200 Subject: [PATCH] Add gnulib.html, generated by "make html". --- doc/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/.gitignore b/doc/.gitignore index 0f62408523..175321e78f 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -13,3 +13,4 @@ gnulib.info gnulib.info-1 gnulib.info-2 gnulib.info-3 +gnulib.html -- 2.30.2