Whoops, regenerate man pages, too.