[9fans] formatting the manual from plan9 ports?

[Aharon Robbins]

Is there a simple recipe to use p9p troff to format the manual pages
from the plan 9 dist?  I.e.:

        Install Plan 9 Ports
        wget plan9.iso from bell labs
        mount said iso /some/where
        9 rc
        cd /some/where/sys/man
        # magic stuff here

(Or tar off the dist to regular files where things are writable.)

Thanks!

Arnold