dolfinx
dolfinx copied to clipboard
Fix sphinx documentation with branch `chris/petsc-optional`
Optional documentation seems hard to achieve, see:
https://github.com/FEniCS/dolfinx/blob/chris/petsc-optional/python/doc/source/api.rst
How can we keep PETSc documentation, but build correctly when it is not installed?