# HG changeset patch
# User Bruno Haible <bruno@clisp.org>
# Date 1191413277 -7200
# Node ID af60492fbcdb7fa3f10485494167f731795f1725
# Parent  b552d1fa1a319a93fe0c4290fe4aaee48fc97f86
Add gnulib.html, generated by "make html".

diff --git a/doc/.gitignore b/doc/.gitignore
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -13,3 +13,4 @@
 gnulib.info-1
 gnulib.info-2
 gnulib.info-3
+gnulib.html