diff --git a/Makefile b/Makefile
index 8acd2f7..d5fc18c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY:  docs validate tests coverage build build_sem build_umd build_min
+.PHONY:  docs validate tests coverage build
 
 
 docs: