[MacPorts] #26459: openmpi: rename man pages

[MacPorts]

#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