doc: use gnu-web-doc-update module

* bootstrap.conf (gnulib_modules): Add it.

diff --git a/bootstrap.conf b/bootstrap.conf
index fe0a154820cb17f78739a4d00e8c000ed7fe6b89..9db4015be57ad989328fd5fc1090ce5343f6b0e4 100644 (file)
--- 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 9bc6aa59a05e856bfc247fc725fb0f7d4cde2f94..1f01272775897ca74037b3f3a78c253a3fdf4ad0 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,4 +1,5 @@
 fdl.texi
+gendocs_template
 gzip.info
 stamp-vti
 version.texi