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

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-fix-gitignore' into 'release'

Docs: remove old entry from doc/.gitignore

See merge request petsc/petsc!4435

Docs: remove old entry from doc/.gitignore

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

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-move-to-toplevel-doc' into 'release'

Docs: move src/docs/sphinx_docs/ to doc/

See merge request petsc/petsc!3866

Docs: move src/docs/sphinx_docs to doc/, without updating paths in the doc source