From b3a35b7d1cb695e997a63cc153fd92ffcf13d46c Mon Sep 17 00:00:00 2001 From: Jeff Squyres Date: Fri, 29 Sep 2006 11:57:08 +0000 Subject: [PATCH] Remove entries for files that are no longer there. This commit was SVN r11885. --- ompi/mpi/man/man3/Makefile.extra | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ompi/mpi/man/man3/Makefile.extra b/ompi/mpi/man/man3/Makefile.extra index 12062adedf..d3078b42b3 100644 --- a/ompi/mpi/man/man3/Makefile.extra +++ b/ompi/mpi/man/man3/Makefile.extra @@ -8,7 +8,6 @@ # man_MANS += \ - man/man3/mpi.3 \ man/man3/MPI.3 \ man/man3/MPI_Abort.3 \ man/man3/MPI_Accumulate.3 \ @@ -314,5 +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 + man/man3/openmpi.3