K 10 svn:author V 3 max K 8 svn:date V 27 1996-12-08T22:57:34.000000Z K 7 svn:log V 130 Upgrade, 1.3 -> 1.3.1. New version has its own configure script and honors the PREFIX. So we no longer need to patch config.mk. END