"Chris G. Demetriou" <cgd@netbsd.org> wrote:

> we should be providing several sets of manual pages:

Yes.

> I've not looked at the cgi in question, so this may already be taken
> care of (but if it's freebsd's probably not since they have no need):
> there needs to be a good way to select MD manual pages, which was
> never possible (IIRC).

Setting $MACHINE before exec'ing man(1) works. My version of the script does
this.