K 10 svn:author V 7 rgrimes K 8 svn:date V 27 1993-10-21T17:33:43.000000Z K 7 svn:log V 163 Make whatisdb after the whole system is installed, since the one in share/man will only create entries for manual pages that have been installed up to that point. END