K 10 svn:author V 6 jkoshy K 8 svn:date V 27 1998-05-27T12:13:18.000000Z K 7 svn:log V 104 Install ${DESTDIR}/boot.help during `make distribution'. PR: 6063 Submitted by: Doug END