Merge today's change by eric with everybody else's
tree75e1e77665aaa4d0ff574d76793b717bd2f565a7
-rw-r--r-- 3348 GETTING.GNU.SOFTWARE
-rw-r--r-- 18944 Makefile.in
-rw-r--r-- 32770 PROBLEMS
-rwxr-xr-x 4767 build-ins.in
-rwxr-xr-x 13486 config.sub
-rwxr-xr-x 28121 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
-rwxr-xr-x 8936 make-dist
drwxr-xr-x - src