[petsc-dev] man pages for 'rank' and 'size'

Jed Brown jed at 59A2.org
Sun Feb 7 12:47:35 CST 2010

The presence of these non-namespaced man pages cause lots of spurious
links in other man pages and the user's manual (especially 'size').  Do
these man pages actually benefit anyone?  It seems to me that their
content could just be merged into comm/MPI_Comm.


More information about the petsc-dev mailing list