summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/onboarding.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi
index 4c31304..de520ad 100644
--- a/doc/onboarding.texi
+++ b/doc/onboarding.texi
@@ -146,7 +146,7 @@ is not needed by any production codebase.
@subsection Python linter
This worker is responsible for running Python static analysis, and it
-is served by the user @code{pylinter}.
+is served by the user @code{linter}.
@subsection Documentation worker