[petsc-dev] searching for petsc4py on petsc.org/main finds nothing

[Barry Smith]

   Is there a way to pull the petsc4py documentation in so that it gets 
searched? Or at least provide links down into the petsc4py documentation?