On Mon, May 19, 2014 at 05:52:44PM +0200, Martin Husemann wrote: > So an easy way to speed up makemandb would be: defer all the sqlite > initialization untill we find a file that is newer than the output database.
Doesn't work, it could be a file that didn't exist on the last run. Consider running pkg_add. Joerg
