Doc fixes.
tree1526ee1b654d41c85414ed14ff2b4fa37dbda643
-rw-r--r-- 4561 GETTING.GNU.SOFTWARE
-rw-r--r-- 21549 INSTALL
-rw-r--r-- 19476 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4767 build-ins.in
-rwxr-xr-x 4427 config.guess
-rwxr-xr-x 13774 config.sub
-rwxr-xr-x 30245 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
-rwxr-xr-x 11062 make-dist
drwxr-xr-x - src