Merge branch 'barry/2026-02-09/docs-dm' into 'main'

Add a bit more discussion of DM and their commonalities to the docs

See merge request petsc/petsc!9018

Docs buid: update to use fspath()

Merge remote-tracking branch 'origin/release'

Merge branch 'barry/2024-03-07/docs-faq-links' into 'release'

docs: fix broken links in the citing webpage

See merge request petsc/petsc!7343

docs: fix broken links in the citing webpage

Reported-by: David Bold <david.bold@ipp.mpg.de>

Merge branch 'barry/2023-06-24/improve-doc-build-time' into 'main'

Minor improvements to time to build docs, also add (crude) timing collections...

See merge request petsc/petsc!6631

More tidying up of docs generation; more consistent timing information

Commit-type: docs-only

Merge branch 'barry/2023-02-15/refactor-doc-subdirectories' into 'main'

Remove confusing and un-need docs directory that contains manual

See merge request petsc/petsc!6078

Remove confusing and un-need docs directory that contains manual

Commit-type: housekeeping

Merge remote-tracking branch 'origin/release'

Merge branch 'barry/2022-10-06/doc-doc-generation/release' into 'release'

fixes for webpages

See merge request petsc/petsc!5724

Improve the documentation generation tools with clearer comments on what they do

Commit-type: docs-only

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: Generate MyST (.md) files instead of .html for man pages

Use a new version of Sowing doctext that accepts the -myst flag.

We use a mostly-duplicated local myst.def here.

Split the copying of

Docs: Generate MyST (.md) files instead of .html for man pages

Use a new version of Sowing doctext that accepts the -myst flag.

We use a mostly-duplicated local myst.def here.

Split the copying of the classic docs into a "pre" and "post" stage,
now accepting a destination argument, so that .md manualpage files
may be copied at the start of the Sphinx build.

Change -html to -myst in the manualpages target.

Remove the manualpages_buildcite target entirely, as we
remove the -mapref argument from the manualpages target.
Now the .cit file is generated during a single run of doctext and
converted to htmlmap, which is used to create man pages links with the
custom Sphinx extension.

Remove the add_version_header.py script, which leaves a few classic
HTML pages without a version, but this feature was mainly for the man
pages, which now have the same version information at the bottom as
all the Sphinx-generated pages.

This commit does not address further required changes:
- index.html pages auto-generated in the docs/manualpages/ tree have not been converted to .md
- Man page postprocessing stages have not been updated to operate on .md instead of .html and will thus fail

show more ...

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: relative links fix: remove extra separator in links

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 ...