openmpi.3 was deleted; OpenMPI.3 was the one that was left.

This commit was SVN r11886.
2006-09-29 11:59:27 +00:00 · 2006-09-29 11:59:27 +00:00 · 7b9b90f10a
--- a/ompi/mpi/man/man3/Makefile.extra
+++ b/ompi/mpi/man/man3/Makefile.extra
@ -313,4 +313,4 @@ man_MANS += \
        man/man3/MPI_Win_wait.3 \
        man/man3/MPI_Wtick.3 \
        man/man3/MPI_Wtime.3 \
-        man/man3/openmpi.3
+        man/man3/OpenMPI.3