#26459: openmpi: rename man pages ----------------------------------+----------------------------------------- Reporter: raimue@… | Owner: mww@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.1 Resolution: duplicate | Keywords: Port: openmpi | ----------------------------------+----------------------------------------- Changes (by raimue@…): * status: new => closed * resolution: => duplicate Comment: Yes, this is an exact duplicate. Closing this ticket. -- Ticket URL: <https://trac.macports.org/ticket/26459#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS