diff --git a/ivette/Makefile b/ivette/Makefile
index a9ec5f1eaebf64972c184c45a04a6ca087c11d26..6effb1ee1b2c0b918e8d54fce26e96a678fb6746 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -8,28 +8,24 @@ DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: all app dev doc serve dist typecheck lint tsc
+.PHONY: all app dev doc serve dist lint fixlint
 
-all: typecheck lint app
+all: lint app
 
 app: dome-app
 dev: dome-dev
 dist: dome-dist
 
-typecheck: dome-pkg dome-templ
-	@echo "[Ivette] running ts typechecker"
-	yarn run typecheck
-
 lint: dome-pkg dome-templ
-	@echo "[Ivette] running ts linter"
+	@echo "[Ivette] running typechecker & linter"
+	yarn run typecheck
 	yarn run lint
 
 fixlint: dome-pkg dome-templ
-	@echo "[Ivette] running ts linter (with fix)"
+	@echo "[Ivette] running typechecker & linter (fix mode)"
+	yarn run typecheck
 	yarn run lint --fix
 
-tsc: typecheck fixlint
-
 # --------------------------------------------------------------------------
 # --- Frama-C API
 # --------------------------------------------------------------------------