diff --git a/Makefile b/Makefile
index 3b7d4949d3..aa10b491f0 100644
--- a/Makefile
+++ b/Makefile
@@ -89,6 +89,9 @@ do-check-installed: check-installed-programs
 check-installed: do-check-installed
 	$(MAKE) clean-check-installed
 
+installcheck: check-installed
+.PHONE: installcheck
+
 ### doc
 
 doc-install: