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)
comment:2 Changed 12 years ago by raimue (Rainer Müller)
Resolution: | → duplicate |
---|---|
Status: | new → closed |
Yes, this is an exact duplicate. Closing this ticket.
Note: See
TracTickets for help on using
tickets.
This is kind of a duplicate of #11576, yeah?