Update documentation on how developers should build the documentation
Merge branch 'barry/2023-03-16/fix-nutshell' into 'main'More cleanup/revising of the website: including nutshell, developers docs and othersSee merge request petsc/petsc!6195
More cleanup/revising of the website: including nutshell, developers docs and othersCommit-type:documentation
Fix manual pages based on reports from Jacob's lint toolCommit-type: documentation
Various cleanup and improvements to parts of the webpagesCommit-type: documentation
Remove confusing and un-need docs directory that contains manualCommit-type: housekeeping
Merge remote-tracking branch 'origin/release'
Docs: fix extra spaces/ticks/missing parentheses
Make PetscErrorCode a non-discardable enum
Clarify and improve the information in the download instructions on using the development branchCommit-type: documentation/spend 10mReported-by: Victor Eijkhout <eijkhout@tacc.utexas.edu>
Fix a variety of missing tick and related issues in manual pages noticed during MR
Remove unneeded " on xxx" from most Collective comments in manual pagesThe phrase was unneeded 99% of the timeI did not remove in the dm directory since another MR is still active that affects th
Remove unneeded " on xxx" from most Collective comments in manual pagesThe phrase was unneeded 99% of the timeI did not remove in the dm directory since another MR is still active that affects that directoryCommit-type: documentation/spend 20m
show more ...
- Replace PetscTable with PetscHMapI.- Rename: - PetscTableCreate() -> PetscHMapICreateWithSize() - PetscTableFind() -> PetscHMapIGetWithDefault() - PetscTableAdd() -> PetscHMapISetWithMode()
Merge branch 'jacobf/2022-10-20/more-coverage' into 'main'Add coverage to additional packagesSee merge request petsc/petsc!5759
Add alternate spellings for the query and queryval operators since shells may interpretthe '|' or '!' operators as special characters
A few more codespell fixes
Replace old gcov infrastructure with gcovr
Add env: keyword to test harness
Add more code formating rules to the style guide
Shorten the headings for the top most TOC since they are display across the top of the screenDocumentation indicates that Short name <filename>should use the Short name in the titles but this
Shorten the headings for the top most TOC since they are display across the top of the screenDocumentation indicates that Short name <filename>should use the Short name in the titles but this did not work, the long title in the file was usedas the headings on the top of pages so give up on it.Commit-type: documentation
Fix up all manual pages in src/sys directoryCommit-type: documentation/spend 10h
Remove incorrect use of PetscFunctionReturn(nonzero integer value). Add this rule to the developers guideCommit-type: house-keeping/spend 1hReported-by: Pierre Jolivet
1234567