From 004a1781f277377970df43dc7e12ec0a454679cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?= <mose@gnu.org>
Date: Tue, 6 Aug 2024 22:30:29 +0200
Subject: [PATCH] Fix autogenerated links to OpenMPI docs

---
 src/MPI.jl | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/MPI.jl b/src/MPI.jl
index 7cadd3373..7372a28ac 100644
--- a/src/MPI.jl
+++ b/src/MPI.jl
@@ -19,9 +19,19 @@ end
 
 
 function _doc_external(fname)
-"""
-- `$fname` man page: [OpenMPI](https://www.open-mpi.org/doc/current/man3/$fname.3.php), [MPICH](https://www.mpich.org/static/docs/latest/www3/$fname.html)
-"""
+    # MPICH v4.0 at the moment seems to be the last version with all the docstrings
+    mpich = "[MPICH](https://www.mpich.org/static/docs/v4.0/www3/$(fname).html)"
+    # All the *_c functions are undocumented in OpenMPI website
+    if !endswith(string(fname), "_c")
+        openmpi = "[OpenMPI](https://docs.open-mpi.org/en/main/man-openmpi/man3/$(fname).3.html)"
+        return """
+        - `$fname` man page: $(openmpi), $(mpich)
+        """
+    else
+        return """
+        - `$fname` man page: $(mpich)
+        """
+    end
 end
 
 """