Merge branch 'psanan/docs-sphinx-man-pages' into 'main'

Integrate Man Pages into Sphinx Docs

Closes #1132 and #1015

See merge request petsc/petsc!4989

Docs: update htmlmap links in place, based on builder type

Generate an htmlmap_modified file (in the classic docs tree) with modified manpage links
based on the location of generated HTML files from

Docs: update htmlmap links in place, based on builder type

Generate an htmlmap_modified file (in the classic docs tree) with modified manpage links
based on the location of generated HTML files from the Sphinx
html or dirhtml builder.

show more ...

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-upgrade-sphinx-4.2.0' into 'release'

Docs: upgrade to Sphinx 4.2.0

See merge request petsc/petsc!4475

Docs: upgrade to Sphinx 4.2.0

The functions overridden by our custom extension, visit_Text and
visit_literal_block, have not changed since 3.5.4.

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-more-sensitive-ci' into 'release'

Docs CI: error on Sphinx warnings and disallow failure

See merge request petsc/petsc!4415

Docs: mark custom extension as safe for parallel read

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-link-fixes-tweaks' into 'release'

Docs: clarify placeholder text for doc output root, remove extraneous shebang

See merge request petsc/petsc!4114

Docs: clarify placeholder text for doc output root, remove extraneous shebang

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-make-links-relative' into 'release'

Docs: postprocessing for relative man page links

See merge request petsc/petsc!4102

Docs: postprocessing for relative man page links

For *html (html, dirhtml) builds, add a final step which walks the
output directory and replaces a hard-coded placeholder string
with the relative pa

Docs: postprocessing for relative man page links

For *html (html, dirhtml) builds, add a final step which walks the
output directory and replaces a hard-coded placeholder string
with the relative path back to the root, thus allowing for for the
output directory to be safely moved.

Remove now-unneeded brittle logic to add an absolute path to the docs
root.

show more ...

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-remove-readthedocs' into 'release'

Docs: remove logic and instructions for ReadTheDocs

See merge request petsc/petsc!3916

Docs: remove logic and instructions for ReadTheDocs

Merge remote-tracking branch 'origin/release'

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

Merge remote-tracking branch 'origin/release'

Merge branch 'psanan/docs-upgrade-sphinx-3.5.4' into 'release'

Docs: upgrade to Sphinx 3.5.4

See merge request petsc/petsc!3863

Doc: set manpage base to petsc.org/versionname when using GitLab CI and an environment URL is not set