diff --git a/Makefile b/Makefile
index 50463f4..7c13a77 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,3 @@
-INFORM  := $(IF)/inform7/inform
 INFORM7 := $(INFORM)/inform7/Tangled/inform7
 INFORM6 := $(INFORM)/inform6/Tangled/inform6
 INBLORB := $(INFORM)/inblorb/Tangled/inblorb