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

generatefortranstubs: no empty variables

Remove EDIRS

build: update libs target to remove grep warnings. And switch from printing "skipping" message to "make" command

grep: warning: stray \ before -

Merge remote-tracking branch 'origin/release'

Web: Fix API TOC

GNUMake 4.4.1 requires MAKEFLAGS to be in the correct order. Prepending -j results in errors when using --print-directory (as it gets translated to 'w')

Fixed by not modifying MAKEFLAGS

Using MAKE:

GNUMake 4.4.1 requires MAKEFLAGS to be in the correct order. Prepending -j results in errors when using --print-directory (as it gets translated to 'w')

Fixed by not modifying MAKEFLAGS

Using MAKE: /home/balay/tmp/make-4.4.1/gmake
Using MAKEFLAGS: -j10 -l18.0 w -- PETSC_DIR=/home/balay/petsc PETSC_ARCH=arch-linux-c-debug
==========================================
gmake[3]: Entering directory '/home/balay/petsc'
/usr/bin/python3 ./config/gmakegen.py --petsc-arch=arch-linux-c-debug
/usr/bin/python3 /home/balay/petsc/config/gmakegentest.py --petsc-dir=/home/balay/petsc --petsc-arch=arch-linux-c-debug --testdir=./arch-linux-c-debug/tests
gmake[3]: *** No rule to make target 'w'. Stop.

show more ...

Replace use of LOCDIR with pwd and PETSC_DIR

Commit-type: documentation

Remove all unneeded use of LOCDIR in the PETSc docs/fortran stub system

Commit-type: housekeeping
/spend 10m

Allow file changes for the makefile in src/sys/yaml

remove dead stuff from makefile system no longer needed because Jacob improved the gcov process

Commit-type: housekeeping
/spend 5m

Remove confusing and un-need docs directory that contains manual

Commit-type: housekeeping

Make make lint REPLACE=1 work as with make test-lint

patch can only handle a single input file at a time, so ammend manual apply suggestion to using a shell for-loop

Improve basic error checking messages in main.py

Fix sync_print() bug in queue setup and unify all of the printing mechanisms

Show specifically which parameters are undocumented

Don't pluralize the matched headings, the heuristic is too iffy

Use full path to patch binary

- Change -s/--src-path to be positional
- Improve PetscDocString.guess_headings() to be more strict

Fix make help for the root directory in PETSc and example directories

It is embarrassing we never had this right (or even half-right)

Commit-type: documentation
/spend 45m

Merge branch 'jacobf/2023-01-21/improve-ci-coverage' into 'main'

Improve CI Coverage

See merge request petsc/petsc!6000

Remove download of lgrind and its use in the makefiles

lgrind has not been used in the processing of PETSc documentation for many years
and given evolving technology it never will

Relax coverage rules slightly

Merge remote-tracking branch 'origin/release'