K 10 svn:author V 6 obrien K 8 svn:date V 27 1999-04-02T17:35:14.000000Z K 7 svn:log V 68 `make world' works fine -- no reason to revert the move to gnu/lib/ END