From: Jim Meyering <meyering@redhat.com>
Date: Fri, 2 Oct 2009 08:55:14 +0000 (+0200)
Subject: doc: use gnu-web-doc-update module
X-Git-Tag: v1.3.14~17
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=6eac4a2b141df3b2291fd9aff5ff562aa93bb82e;p=debian%2Fgzip

doc: use gnu-web-doc-update module

* bootstrap.conf (gnulib_modules): Add it.
---

diff --git a/bootstrap.conf b/bootstrap.conf
index fe0a154..9db4015 100644
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -34,6 +34,7 @@ gnulib_modules='
 	git-version-gen
 	gitlog-to-changelog
 	gnu-make
+	gnu-web-doc-update
 	gnupload
 	gnumakefile
 	lstat
diff --git a/doc/.gitignore b/doc/.gitignore
index 9bc6aa5..1f01272 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,4 +1,5 @@
 fdl.texi
+gendocs_template
 gzip.info
 stamp-vti
 version.texi