diff options
Diffstat (limited to 'gnulib/modules/gnu-web-doc-update')
m--------- | gnulib | 0 | ||||
-rw-r--r-- | gnulib/modules/gnu-web-doc-update | 20 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/modules/gnu-web-doc-update b/gnulib/modules/gnu-web-doc-update new file mode 100644 index 0000000..5b3e8ac --- /dev/null +++ b/gnulib/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 |