From 76f4b6769d0acaeffbd8e8a003fcbb3e2fbea107 Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <koszko@koszko.org>
Date: Tue, 18 Oct 2022 12:28:03 +0200
Subject: [builder][server][proxy] facilitate running mypy linter through
 Makefile

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index ae46b6a..bd2df75 100644
--- a/README.md
+++ b/README.md
@@ -55,6 +55,13 @@ Runs the automated test suite.
 ### `make run-haketilo`
 Runs `haketilo` program from sources.
 
+### `mypy-lint`
+Runs mypy static type checker over source files of the project.
+
+### `mypy-lint-server`, `mypy-lint-builder`, `mypy-lint-haketilo`
+Runs mypy static type checker over source files used in the relevant part of the
+project.
+
 ### `make clean`
 Removes generated files.
 
-- 
cgit v1.2.3