On Fri, 18 Jun 2021, Satish Balay via petsc-dev wrote:

On Fri, 18 Jun 2021, Victor Eijkhout wrote:

...

On , 2021Jun18, at 08:33, Lawrence Mitchell <[email protected]<mailto:[email protected]>> wrote:

https://petsc.org/release/documentation/

How do I find that? Clicking “Documentation” on the main page does not go there.

I see the confusion. There is 'PETSc 3.15 Documentation' [on the right side] also listed in 'On this page' subsection links.

This should be changed..

I think it came from the fact that we needed to distinguish [and associate the version numbers to] https://petsc.org/release vs https://petsc.org/main Satish