diff --git a/ompi/mpi/man/man3/Makefile.extra b/ompi/mpi/man/man3/Makefile.extra index 008c7c865e..5a41607429 100644 --- a/ompi/mpi/man/man3/Makefile.extra +++ b/ompi/mpi/man/man3/Makefile.extra @@ -329,7 +329,6 @@ mpi_api_man_pages = \ mpi/man/man3/MPI_Testsome.3 \ mpi/man/man3/MPI_Topo_test.3 \ mpi/man/man3/MPI_Type_c2f.3 \ - mpi/man/man3/MPI_Type_f2c.3 \ mpi/man/man3/MPI_Type_commit.3 \ mpi/man/man3/MPI_Type_contiguous.3 \ mpi/man/man3/MPI_Type_create_darray.3 \