gnu-web-doc-update: New module.

[gnulib.git] / modules / gnu-web-doc-update

diff --git a/modules/gnu-web-doc-update b/modules/gnu-web-doc-update
new file mode 100644 (file)
index 0000000..5b3e8ac
--- /dev/null
+++ b/modules/gnu-web-doc-update
@@ -0,0 +1,20 @@
+Description:
+update the official GNU web documentation for your project
+
+Files:
+build-aux/gnu-web-doc-update
+
+Depends-on:
+gendocs
+
+configure.ac:
+
+Makefile.am:
+
+Include:
+
+License:
+GPLed build tool
+
+Maintainer:
+coreutils