The paragraph describing the MPI_RANKS parameter was under the description of the CMAKE_GUARD parameter.
MPI_RANKS
CMAKE_GUARD
Pipeline #370 failed
Pipeline failed for 79cf4460 on doc/move-doc-for-MPI-RANKS 8 years ago
mentioned in commit af332cef
Status changed to merged
Mentioned in commit af332cef