Skip to content

tools: lint doc/*.md files

Rodrigo Muino Tomonari requested to merge github/fork/Trott/lint-all-of-doc into master 
tools: lint doc/*.md files

Makefile tasks only lint doc/**/*.md files but omit files that match
doc/*.md. This change adds these previously-omitted files to the list of
files to be linted.
Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • documentation is changed or added
  • commit message follows commit guidelines

Merge request reports