This is intended to build docs from a branch of PETSc, while we develop sphinx-based …
psanan/petsc
psanan/docs-sphinx-dev-manual