Merge branch 'barry/2023-03-25/fix-more-manualpages' into 'main'

More manual page fixes

See merge request petsc/petsc!6233

More manual page fixes

Merge branch 'barry/2023-03-08/fix-man-pages-detected-by-lint' into 'main'

Fix many manual pages

See merge request petsc/petsc!6162

Fix manual pages based on reports from Jacob's lint tool

Commit-type: documentation

Merge branch 'jacobf/2023-03-09/linter-support-deprecated-since-version' into 'main'

Support Level: deprecated (since MAJOR.MINOR[.PATCH]) in the linter

Closes #1337

See merge request petsc/petsc!

Merge branch 'jacobf/2023-03-09/linter-support-deprecated-since-version' into 'main'

Support Level: deprecated (since MAJOR.MINOR[.PATCH]) in the linter

Closes #1337

See merge request petsc/petsc!6165

show more ...

Support Level: deprecated (since MAJOR.MINOR[.PATCH]) in the linter

Merge branch 'jacobf/2021-10-11/clang-linter-parse-docstrings' into 'main'

Feature: Lint Sowing Docstrings

See merge request petsc/petsc!4443

Reshuffle linter code into a proper python package

Upgrade clang linter:
- Improved stability of clang library calls
- clang linter can now check docstrings for correctness
- Major improvements to d

Reshuffle linter code into a proper python package

Upgrade clang linter:
- Improved stability of clang library calls
- clang linter can now check docstrings for correctness
- Major improvements to diff merging
- Handle overlapping deletion by discarding one patch or the other, patches now support
callbacks to remove themselves from the linter if discarded
- Better duplicate and missing function argument detection
- Improve printing and diagnostics for functions
- Add checks for duplicate headers, non-lowercase levels, spacing between docstring and
symbol, indentation, title-cased headings, no content on comment begin and end lines
- Add better checking for sowing identifier matching
- Tests now can also output and diff:
- stdout (useful for when tests should catch errors but can't fix them)
- Fixed errors
- Now able to apply multiline patches, and far more robust diff support
- Add a lot more auto fixits
- Add new SourceLocation and SourceRange wrappers
- Major performance improvements in __lt__ and __ge__ from caching for SourceLocation and SourceRange
- check that function has a custom fortran interface if it has a function pointer and char
string
- Check that parameter lists start with the right character and
- Source fixes now applied in chronological order, and test that patches can be applied as well

- Improved parameter list alignment checker
- Add support for additional notes types and unknown/unhandled sections
- Allow disabling of diagnostics via '-fdiagnostic-name [yes/no/maybe-so]'
- enum docstring checking and better parameter-list alignment enforcement
- Check spacing in inline lists
- Check for duplicates and self-references in seealso lists
- Detect headers that are missing a colon, and detect headers that probably shouldn't be headers
- Dheck that synopsis descriptions aren't overly long-winded
- Handle inline code-block within parameter lists because snes.c is a nightmare
- Check explicit synopses contain the right parameters
- Added check to explicit macro docstrings on whether the symbol they claim to describe
exists in the header
- Improve diagnostic for matching argument idx
- Show trace back to parent arguments if applicable
- 10x performance improvements for SourceRange and SourceLocation
- Be able to handle arbitrary number of nested function-pointer parameters as documentation
- Rework initial loader, use lazy loading to improve startup time

Update dir-locals.el to reflect new 2 column indentation, and enforce no stars in comments

show more ...