800_gnu_config -------------- Merged and enlarged, under same name 801_gnu_os-support_Imake ------------------------ Unchanged. -- Nathanael Nerode <neroden at gcc.gnu.org> http://home.twcny.rr.com/nerode/neroden/fdl.html