Opened 14 years ago

Closed 12 years ago

#26459 closed defect (duplicate)

openmpi: rename man pages

Reported by: raimue (Rainer Müller) Owned by: mww@…
Priority: Normal Milestone:
Component: ports Version: 1.9.1
Keywords: Cc:
Port: openmpi

Description

While openmpi installs its binary as openmpicc the man page is installed as mpicc.1. This might also apply to other binaries and man pages of the same port.

I guess the openmpi binary was renamed to avoid a conflict with mpich2, but this conflict still exists.

Possible solutions: b) Rename man page to openmpicc.1 (possible others) a) Mark openmpi and mpich2 as conflicting. Do not rename mpicc anymore.

Change History (2)

comment:1 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)

This is kind of a duplicate of #11576, yeah?

comment:2 Changed 12 years ago by raimue (Rainer Müller)

Resolution: duplicate
Status: newclosed

Yes, this is an exact duplicate. Closing this ticket.

Note: See TracTickets for help on using tickets.