diff --git a/Makefile b/Makefile
index 7c13a77..424aea7 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,3 @@
-INFORM7 := $(INFORM)/inform7/Tangled/inform7
-INFORM6 := $(INFORM)/inform6/Tangled/inform6
-INBLORB := $(INFORM)/inblorb/Tangled/inblorb
 BUILDDIR := build
 DISTDIR := dist
 SRCDIR := .