K 10 svn:author V 5 joerg K 8 svn:date V 27 1996-05-02T21:43:04.000000Z K 7 svn:log V 131 Merge from HEAD: Replace the dependency of `install' from `kernel' by a test for the existance fo `kernel'. Submitted by: peter END