Docs: conf.py: create separate section for extensions
Merge branch 'psanan/docs-deploy-quickfix-2021-04-21' into 'release'Doc: set manpage base to petsc.org/versionname when using GitLab CI and an...See merge request petsc/petsc!3905
Docs: remove Sphinx todo extension
Merge remote-tracking branch 'origin/release'
Doc: set manpage base to petsc.org/versionname when using GitLab CI and an environment URL is not set
Docs: upgrade to Sphinx 3.5.4Change error on mismatched version to a warning, expecting mostbuilds and users to respect requirements.txt
doc: fix dead link
Docs: update paths relative to new doc/ directory
Docs: move src/docs/sphinx_docs to doc/, without updating paths in the doc source
1...<<9192939495