K 10 svn:author V 5 wosch K 8 svn:date V 27 1998-04-08T16:46:07.000000Z K 7 svn:log V 39 Make the Makefile `make -jN' friendly. END