Incorporated changes from Bob Weiner's enhanced buff-menu from the LCD
tree2e587e51e90882ef2545a77cf4274d6ab4863ee2
-rw-r--r-- 4561 GETTING.GNU.SOFTWARE
-rw-r--r-- 20873 Makefile.in
-rw-r--r-- 32770 PROBLEMS
-rwxr-xr-x 4767 build-ins.in
-rwxr-xr-x 13486 config.sub
-rwxr-xr-x 30264 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
-rwxr-xr-x 9601 make-dist
drwxr-xr-x - src