From 9fc4913e483fdeeea3cbcdc9fe6fe976d090724f Mon Sep 17 00:00:00 2001 From: fritzkink <96341974+fritzkink@users.noreply.github.com> Date: Fri, 09 Jun 2023 14:17:56 +0200 Subject: [PATCH] openmpi - fix duplicate man pages --- components/library/openmpi/openmpi.p5m | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/components/library/openmpi/openmpi.p5m b/components/library/openmpi/openmpi.p5m index 9f74710..9c30918 100644 --- a/components/library/openmpi/openmpi.p5m +++ b/components/library/openmpi/openmpi.p5m @@ -291,12 +291,8 @@ #file path=usr/share/Modules/modulefiles/openmpi/gcc/64/$(HUMAN_VERSION) link path=usr/share/man/man1/mpiCC.1 target=mpic++.1 file path=usr/share/man/man1/mpic++.1 -file path=usr/share/man/man1/mpicc.1 -file path=usr/share/man/man1/mpicxx.1 -file path=usr/share/man/man1/mpiexec.1 file path=usr/share/man/man1/mpif77.1 file path=usr/share/man/man1/mpif90.1 -file path=usr/share/man/man1/mpifort.1 file path=usr/share/man/man1/mpirun.1 file path=usr/share/man/man1/ompi-clean.1 file path=usr/share/man/man1/ompi-server.1 -- Gitblit v1.9.3