Fix provide call.
treefe1ddb42df66988df20ad1c62bcb4ad59ca5e0a6
-rw-r--r-- 4558 GETTING.GNU.SOFTWARE
-rw-r--r-- 28588 INSTALL
-rw-r--r-- 19800 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4762 build-ins.in
-rw-r--r-- 7499 config.bat
-rwxr-xr-x 21678 config.guess
-rwxr-xr-x 19467 config.sub
-rw-r--r-- 48543 configure.in
-rwxr-xr-x 50350 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
-rwxr-xr-x 15970 make-dist
drwxr-xr-x - man
drwxr-xr-x - msdos
drwxr-xr-x - nt
drwxr-xr-x - src
-rw-r--r-- 7525 tparam.c
-rw-r--r-- 219 vpath.sed