K 10 svn:author V 3 jkh K 8 svn:date V 27 1994-10-04T15:47:32.000000Z K 7 svn:log V 62 Set this up for GNU_CONFIGURE, which buys us a free --prefix. END