en Copyright 2025 Java http://opengrok.kc2vjw.com:8080/history/petsc/doc/add_man_page_redirects.py#0ec0a084dafaf19d7cb029f108202517fa408668 Merge branch 'barry/2023-02-15/refactor-doc-subdirectories' into 'main'Remove confusing and un-need docs directory that contains manualSee merge request petsc/petsc!6078 List of files: /petsc/doc/add_man_page_redirects.py Wed, 22 Feb 2023 14:27:40 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/add_man_page_redirects.py#73fdd05bb67e49f40fd8fd311695ff6fdf0b9b8a Remove confusing and un-need docs directory that contains manualCommit-type: housekeeping List of files: /petsc/doc/add_man_page_redirects.py Wed, 22 Feb 2023 14:27:39 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/add_man_page_redirects.py#89669be4d29968dc8d4c19ce1b69194a6a561ea4 Merge branch 'psanan/docs-sphinx-man-pages' into 'main'Integrate Man Pages into Sphinx DocsCloses #1132 and #1015See merge request petsc/petsc!4989 List of files: /petsc/doc/add_man_page_redirects.py Mon, 02 May 2022 13:41:30 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/add_man_page_redirects.py#95216c61a5406f0bc5a03e09333766a3ca43093c Docs: add manual page redirectsFor the dirhtml docs buld, add a script to add HTML files for allprevious man page locations, e.g. docs/manualpages/Foo/Bar.htmllinking to the new dirhtml locations, e.g docs/manualpages/Foo/Bar/index.html List of files: /petsc/doc/add_man_page_redirects.py Wed, 06 Apr 2022 15:42:14 +0000 Patrick Sanan <patrick.sanan@gmail.com>