History log of /petsc/doc/add_man_page_redirects.py (Results 1 – 4 of 4)
Revision Date Author Comments
# 0ec0a084 22-Feb-2023 Satish Balay <balay@mcs.anl.gov>

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


# 73fdd05b 22-Feb-2023 Barry Smith <bsmith@mcs.anl.gov>

Remove confusing and un-need docs directory that contains manual

Commit-type: housekeeping


# 89669be4 02-May-2022 Satish Balay <balay@mcs.anl.gov>

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


# 95216c61 06-Apr-2022 Patrick Sanan <patrick.sanan@gmail.com>

Docs: add manual page redirects

For the dirhtml docs buld, add a script to add HTML files for all
previous man page locations, e.g.

docs/manualpages/Foo/Bar.html

linking to the new dirhtml loca

Docs: add manual page redirects

For the dirhtml docs buld, add a script to add HTML files for all
previous man page locations, e.g.

docs/manualpages/Foo/Bar.html

linking to the new dirhtml locations, e.g

docs/manualpages/Foo/Bar/index.html

show more ...