Don't regenerate man pages