Skip to content

Conversation

@jsquyres
Copy link
Member

Mention that GitHub.com-generated tarballs are not official releases, and will not build properly.

Also fix a minor display issue when building the docs.

Refs #12399.

This is the v5.0.x PR corresponding to main PR #12402

Sepcfically mention that automatically-generated GitHub.com tarballs
are not official releases, and will not work.

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit 78c0f7f)
Move a "make" rule inside display-suppression protection so that it is
not displayed unless you "make V=1".

Signed-off-by: Jeff Squyres <[email protected]>
(cherry picked from commit ce994f2)
@jsquyres jsquyres requested a review from wenduwan March 12, 2024 16:03
@github-actions github-actions bot added this to the v5.0.3 milestone Mar 12, 2024
@jsquyres
Copy link
Member Author

@wenduwan @janjust Can you guys merge this so that it goes live on docs.open-mpi.org? The risk on this PR is very low.

Thanks!

@wenduwan wenduwan merged commit f8a6da3 into open-mpi:v5.0.x Mar 13, 2024
@jsquyres jsquyres deleted the pr/v5.0.x/minor-docs-update branch March 13, 2024 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants