K 10 svn:author V 5 wosch K 8 svn:date V 27 1996-05-29T01:10:10.000000Z K 7 svn:log V 76 `make maninstall' should go down into the subdirs like `make install' does. END