diff options
Diffstat (limited to 'doc/tutorial/lint.md')
| -rw-r--r-- | doc/tutorial/lint.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tutorial/lint.md b/doc/tutorial/lint.md index 7b488405..f7d99787 100644 --- a/doc/tutorial/lint.md +++ b/doc/tutorial/lint.md @@ -149,8 +149,10 @@ know the correct defines to be used. Of course, those abstract nodes are just an implementation detail and there is a rule to define linting for the collected sources. It takes two programs (targets consisting of a single artifact), + - the `linter` for running the lint task on a single file, and - the `summarizer` for summarizing the lint results; + additionally, arbitrary `config` data can be given to have config files available, but also to use a linter built from source. |