gnu-web-doc-update: improve --help
treed0d4f3603bee8d97f52234f6b067d0b781f42514
-rw-r--r-- 14 .cvsignore
-rw-r--r-- 252 .gitattributes
-rw-r--r-- 64 .gitignore
-rw-r--r-- 949 COPYING
-rw-r--r-- 3694688 ChangeLog
-rw-r--r-- 5198 DEPENDENCIES
-rwxr-xr-x 80073 MODULES.html.sh
-rw-r--r-- 6014 Makefile
-rw-r--r-- 35109 NEWS
-rw-r--r-- 13903 README
-rw-r--r-- 4566 STATUS-libposix
drwxr-xr-x - build-aux
-rw-r--r-- 2688 cfg.mk
-rwxr-xr-x 2366 check-copyright
-rwxr-xr-x 7725 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 244226 gnulib-tool
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
-rwxr-xr-x 9283 posix-modules
drwxr-xr-x - tests
drwxr-xr-x - top
-rw-r--r-- 6522 users.txt