I would back this out. Unix always used nroff for building man pages. We have UPDATE=yes for that sort of optimization (we don't build manpages too often). the point is that nroff & groff are both frontends, and switching the name has no effect on performance. .mrg.