Allow setting CVS username for gnu-web-doc-update.
treec91a7eadec54b84df4149067308fb77c58e14b0a
-rw-r--r-- 14 .cvsignore
-rw-r--r-- 252 .gitattributes
-rw-r--r-- 64 .gitignore
-rw-r--r-- 1015 COPYING
-rw-r--r-- 5170899 ChangeLog
-rw-r--r-- 4743 DEPENDENCIES
-rwxr-xr-x 81901 MODULES.html.sh
-rw-r--r-- 6667 Makefile
-rw-r--r-- 52096 NEWS
-rw-r--r-- 183 README
-rw-r--r-- 4336 STATUS-libposix
drwxr-xr-x - build-aux
-rw-r--r-- 3241 cfg.mk
-rwxr-xr-x 1080 check-AC_LIBOBJ
-rwxr-xr-x 2367 check-copyright
-rwxr-xr-x 7727 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 267531 gnulib-tool
-rwxr-xr-x 39044 gnulib-tool.py
-rw-r--r-- 22676 gnulib-tool.py.TODO
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
-rwxr-xr-x 10160 posix-modules
drwxr-xr-x - pygnulib
drwxr-xr-x - tests
drwxr-xr-x - top
-rw-r--r-- 7940 users.txt