| #
f748bf6b
|
| 16-Feb-2024 |
Satish Balay <balay@mcs.anl.gov> |
Merge branch 'eijkhout/fix-script-python' into 'main'
Script: Update python in petscnagupgrade.py
See merge request petsc/petsc!7299
|
| #
1b37a2a7
|
| 15-Feb-2024 |
Pierre Jolivet <pierre@joliv.et> |
Remove duplicates and switch to python3
|
| #
02ff24cd
|
| 14-Jul-2023 |
Satish Balay <balay@mcs.anl.gov> |
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
|
| #
3ecf4727
|
| 26-Jun-2023 |
Barry Smith <bsmith@mcs.anl.gov> |
Refactor, cleanup, speedup fix_man_page_edit_links.py
Improve the timings of parts of make docs
Commit-type: docs-only
|
| #
a663c1df
|
| 13-Apr-2023 |
Satish Balay <balay@mcs.anl.gov> |
Merge remote-tracking branch 'origin/release'
|
| #
86661d56
|
| 13-Apr-2023 |
Satish Balay <balay@mcs.anl.gov> |
Merge branch 'barry/2023-04-12/rm-view-source-link-man-pages/release' into 'release'
Remove incorrect Show Source link from website manual pages
See merge request petsc/petsc!6315
|
| #
353097e8
|
| 12-Apr-2023 |
Barry Smith <bsmith@mcs.anl.gov> |
Remove the "View Source" link from generated manual pages since that points to generated code, not the true source
Commit-type: documentation, bug
Thanks-to: Jose Roman
|
| #
13f353f2
|
| 17-Mar-2023 |
Satish Balay <balay@mcs.anl.gov> |
Merge branch 'barry/2023-03-15/rm-duplicative-edit-in-gitlab-line-in-man-pages' into 'main'
Fix duplicative "Edit this page" for manual pages
See merge request petsc/petsc!6190
|
| #
9a968e71
|
| 16-Mar-2023 |
Barry Smith <bsmith@mcs.anl.gov> |
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" l
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 the
bottom of the manual page.
This MR removes that unneeded duplicative link at the bottom leaving only the Sphinx one
Commit-type: documentation
show more ...
|
| #
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
|
| #
c9f6b0ac
|
| 13-Apr-2022 |
Patrick Sanan <patrick.sanan@gmail.com> |
Docs: fix "Edit this page" links for man pages
This relies on the brittle approach of adding another post-processing
pass to the HTML man pages.
This does not fix the links on man page section inde
Docs: fix "Edit this page" links for man pages
This relies on the brittle approach of adding another post-processing
pass to the HTML man pages.
This does not fix the links on man page section index pages.
show more ...
|