I just installed open-mpi version 1.4,
and now i noticed that the man-files are not properly installed.
When i do
i get a different output than what is in
I installed with this configuration:
./configure --prefix=/opt/openmpi-1.4 --disable-mpi-f77
and afterwards made a soft link
ln -s /opt/openmpi-1.4 /opt/openmpi
This is on fedora fc8, but i have the same problem on my gentoo
Does anybody know how to get replace the old man files with the new ones?