K 10 svn:author V 7 andreas K 8 svn:date V 27 1997-08-17T21:14:22.000000Z K 7 svn:log V 177 fix a make world problem. updated beforeinstall target. mp.h from gnu/lib/libgmp.h has to be installed to /usr/include so that usr.bin/chkey and usr.bin/newkey can be compiled. END