gnulib: add gnu-web-doc-update.
diff --git a/bootstrap.conf b/bootstrap.conf line changes: +1/-0 index 51914d4..85cc678 --- a/bootstrap.conf +++ b/bootstrap.conf
@@ -25,6 +25,7 @@ gnulib_modules=" gendocs getopt-gnu gettext + gnu-web-doc-update gnupload maintainer-makefile progname
diff --git a/build-aux/.gitignore b/build-aux/.gitignore line changes: +1/-0 index 24e666f..e0397d4 --- a/build-aux/.gitignore +++ b/build-aux/.gitignore
@@ -17,3 +17,4 @@ /update-copyright /useless-if-before-free /vc-list-files +/gnu-web-doc-update