Gotta run pip install -r src/docs/sphinx_docs/requirements.txt Add --user if you aren't in a virtualenv. Barry Smith <bsmith at petsc.dev> writes: > Running Sphinx v3.0.4 > > Found DOT install: /usr/local/bin/dot > > > Extension error: > Could not import extension sphinxcontrib.bibtex (exception: No module named 'sphinxcontrib.bibtex')