docs: two minor tweaks:

* Link to docs.open-mpi.org page about version information instead of github * add a missing <hr> in major-changes.php Signed-off-by: Jeff Squyres <[email protected]>
open-mpi · Oct 26, 2023 · d2685fa · d2685fa
1 parent 2850aa2
commit d2685fa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/includes/header.inc b/includes/header.inc
@@ -233,7 +233,7 @@ printsublink("$topurl/doc/", "Documentation");
 printsublink("$topurl/source/", "Source Code Access");
 printsublink("https://github.com/open-mpi/ompi/issues", "Bug Tracking");
 printsublink("https://mtt.open-mpi.org/", "Regression Testing");
-printsublink("https://github.com/open-mpi/ompi/blob/master/README.md#open-mpi-version-numbers-and-binary-compatibility", "Version Information");
+printsublink("https://docs.open-mpi.org/en/main/version-numbering.html", "Version Information");
 
 // Sub-Projects
 printbutton("Sub-Projects");

diff --git a/software/ompi/major-changes.php b/software/ompi/major-changes.php
@@ -61,6 +61,8 @@
 
 <!-- =================== -->
 
+<p><hr></p>
+
 <h2>v4.1.x series</h2>
 
 <p>The v4.1.x series introduced the following major feature