K 10 svn:author V 3 jmz K 8 svn:date V 27 1995-02-12T17:48:25.000000Z K 7 svn:log V 60 Set MAKE_FLAGS so that `make PREFIX=...' works as expected. END