diff --git a/ompi/mpi/man/man3/mpi.3 b/ompi/mpi/man/man3/mpi.3 deleted file mode 100644 index c1b2f270f8..0000000000 --- a/ompi/mpi/man/man3/mpi.3 +++ /dev/null @@ -1,6 +0,0 @@ -.so man3/MPI.3 - - - - -