en Copyright 2025 Java http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#f748bf6bfc83f133d5068e6a5445afd45844ada1 Merge branch 'eijkhout/fix-script-python' into 'main'Script: Update python in petscnagupgrade.pySee merge request petsc/petsc!7299 List of files: /petsc/doc/fix_man_page_edit_links.py Fri, 16 Feb 2024 02:49:21 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#1b37a2a7cc4a4fb30c3e967db1c694c0a1013f51 Remove duplicates and switch to python3 List of files: /petsc/doc/fix_man_page_edit_links.py Thu, 15 Feb 2024 18:03:35 +0000 Pierre Jolivet <pierre@joliv.et> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#02ff24cd479fe9c90e2e3e5af9f431793e565e5f 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 List of files: /petsc/doc/fix_man_page_edit_links.py Fri, 14 Jul 2023 15:52:56 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#3ecf472741d37ff12ce116d7b98d0a632bd569fa Refactor, cleanup, speedup fix_man_page_edit_links.pyImprove the timings of parts of make docsCommit-type: docs-only List of files: /petsc/doc/fix_man_page_edit_links.py Mon, 26 Jun 2023 18:40:41 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#a663c1dff89745b9e1982b54aa196ff99445d9a0 Merge remote-tracking branch 'origin/release' List of files: /petsc/doc/fix_man_page_edit_links.py Thu, 13 Apr 2023 05:01:02 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#86661d56697a5e7c156577d87a3470a14d14f327 Merge branch 'barry/2023-04-12/rm-view-source-link-man-pages/release' into 'release'Remove incorrect Show Source link from website manual pagesSee merge request petsc/petsc!6315 List of files: /petsc/doc/fix_man_page_edit_links.py Thu, 13 Apr 2023 02:31:00 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#353097e8888e615c964769bd0347e98f3f3d57dd Remove the "View Source" link from generated manual pages since that points to generated code, not the true sourceCommit-type: documentation, bugThanks-to: Jose Roman List of files: /petsc/doc/fix_man_page_edit_links.py Wed, 12 Apr 2023 16:31:00 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#13f353f215c7856cc71c3fbc9bb68fef82a72485 Merge branch 'barry/2023-03-15/rm-duplicative-edit-in-gitlab-line-in-man-pages' into 'main'Fix duplicative "Edit this page" for manual pagesSee merge request petsc/petsc!6190 List of files: /petsc/doc/fix_man_page_edit_links.py Fri, 17 Mar 2023 01:20:49 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#9a968e71cae788a5a92e64e6da450bafbea3125d The code for making the Sphinx editthispage link (in right side of manual pages)contain a link to the source code of the manual page (in the PETSc repository)produced a duplicate "Edit this page" link for all the manual pages at thebottom of the manual page.This MR removes that unneeded duplicative link at the bottom leaving only the Sphinx oneCommit-type: documentation List of files: /petsc/doc/fix_man_page_edit_links.py Thu, 16 Mar 2023 01:50:20 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.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/fix_man_page_edit_links.py Wed, 22 Feb 2023 14:27:40 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#73fdd05bb67e49f40fd8fd311695ff6fdf0b9b8a Remove confusing and un-need docs directory that contains manualCommit-type: housekeeping List of files: /petsc/doc/fix_man_page_edit_links.py Wed, 22 Feb 2023 14:27:39 +0000 Barry Smith <bsmith@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.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/fix_man_page_edit_links.py Mon, 02 May 2022 13:41:30 +0000 Satish Balay <balay@mcs.anl.gov> http://opengrok.kc2vjw.com:8080/history/petsc/doc/fix_man_page_edit_links.py#c9f6b0ac52fcac2e03779eac463dfc52b90e2085 Docs: fix "Edit this page" links for man pagesThis relies on the brittle approach of adding another post-processingpass to the HTML man pages.This does not fix the links on man page section index pages. List of files: /petsc/doc/fix_man_page_edit_links.py Wed, 13 Apr 2022 08:31:33 +0000 Patrick Sanan <patrick.sanan@gmail.com>