regenerate a few manpages