Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

v5.0.x: docs: Fix build case with --disable-prrte #11961

Merged

Conversation

jsquyres
Copy link
Member

@jsquyres jsquyres commented Oct 3, 2023

Fix a small issue in properly setting filename when building the empty schizo rst file.

Signed-off-by: Brian Barrett [email protected]
(cherry picked from commit 5adb240)

Fixes #11959

Fix a small issue in properly setting filename when building the
empty schizo rst file.

Signed-off-by: Brian Barrett <[email protected]>
(cherry picked from commit 5adb240)
@jsquyres jsquyres requested a review from bwbarrett October 3, 2023 11:37
@jsquyres jsquyres changed the title docs: Fix build case with --disable-prrte v5.0.x: docs: Fix build case with --disable-prrte Oct 3, 2023
@github-actions github-actions bot added this to the v5.0.0 milestone Oct 3, 2023
Copy link
Contributor

@awlauria awlauria left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

awesome, thanks

@awlauria awlauria merged commit 07d9c02 into open-mpi:v5.0.x Oct 3, 2023
@jsquyres jsquyres deleted the pr/v5.0.x/fix-prteless-docs-build branch October 3, 2023 14:11
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.

3 participants