mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

Merge Side Documents Definition With All Other Types of Documents #696

Closed wesbland closed 11 months ago

wesbland commented 1 year ago

Problem

In the March 2023 meeting, the forum agreed to shrink the rules down to two types of documents. The MPI Standard itself, and side documents. This means all others can be combined with those two.

References and Pull Requests

https://github.com/mpi-forum/procedures/pull/9

wesbland commented 1 year ago

Please ignore comments on this issue for a bit. I'm using it to test a script so I don't have to update these things manually.