Docs: move BibTeX files to doc/ tree

Merge branch 'psanan/docs-panels-team-table' into 'release'

Docs: Use sphinx-panels for team table

See merge request petsc/petsc!4409

docs: remove team table auto-generation logic

Docs: Use sphinx-panels for team table

Use the sphinx-panels extension (which has CSS flexbox under the hood)
instead of custom CSS and auto-generation for team table.

Images are used in the normal

Docs: Use sphinx-panels for team table

Use the sphinx-panels extension (which has CSS flexbox under the hood)
instead of custom CSS and auto-generation for team table.

Images are used in the normal way for Sphinx (so should work with all
builders including html and dirhtml). Images are a mix of external
links and images in the PETSc images repo.

Uses hard-coded links to GitLab avatars, which were obtained with the
generate_team_table.py script.

show more ...

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-image-submodule-2' into 'release'

Move images to separate repository

See merge request petsc/petsc!4275

Docs: use logo and favicon from image submodule

Clone dedicated images repository to docs/images

The URL and required branch are directly specified in doc/Makefile

doc/Makefile will clone automatically if the directory is missing.

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-link-fix' into 'release'

Docs: Fix outdated list of excluded directories for link fixes

See merge request petsc/petsc!4311

Docs: Fix outdated list of excluded directories for link fixes

Refactor to remove duplicated information, fixing an outdated list
of directories to exclude when post-processing links generated by th

Docs: Fix outdated list of excluded directories for link fixes

Refactor to remove duplicated information, fixing an outdated list
of directories to exclude when post-processing links generated by the
custom extension.

show more ...

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-classic-man-pages-header' into 'release'

Docs: add version header to man pages

See merge request petsc/petsc!4203

Docs: add version header to man pages

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-adjust-manpage-urls' into 'release'

Docs: change documentation/ subtree to docs/

See merge request petsc/petsc!4194

Docs: move documentation/ subtree to docs/

This violates usual norms about trying to use complete words for
things, in favor of

* Creating slightly-shorter URLs for manualpages
* Aligning with the

Docs: move documentation/ subtree to docs/

This violates usual norms about trying to use complete words for
things, in favor of

* Creating slightly-shorter URLs for manualpages
* Aligning with the previous website's conventions, important for forwarding manual pages

show more ...

Docs: refactor copying of classic docs

Instead of relying on Sphinx's html_extra_path functionality,
directly copy the required classic docs at the end of the build.
This has the advantages of requi

Docs: refactor copying of classic docs

Instead of relying on Sphinx's html_extra_path functionality,
directly copy the required classic docs at the end of the build.
This has the advantages of requiring less Sphinx knowledge for
readers of conf.py, and of delaying time-consuming copying of files
until the end of the docs build, which is useful for incremental
local development.

show more ...

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-streamline-conf-py' into 'release'

Docs: cleanup of conf.py

See merge request petsc/petsc!4112

Docs: conf.py: remove autosummary_generate option

Docs: conf.py: remove unused patch_version

conf.py: remove unnecessary return statement

Docs: cleanup of conf.py

Streamline conf.py by removing many comments, rearranging entries,
and encouraging the reader to run "sphinx-quickstart" and/or see
Sphinx's documentation for more informati

Docs: cleanup of conf.py

Streamline conf.py by removing many comments, rearranging entries,
and encouraging the reader to run "sphinx-quickstart" and/or see
Sphinx's documentation for more information.

Perform some other minor cleanups to the source.

show more ...

Merge remote-tracking branch 'origin/release'