diff --git a/Makefile b/Makefile
index 5442d08..1308abe 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-INFORM  := ../inform7/inform
+INFORM  := ~/if/inform7/inform
 INFORM7 := $(INFORM)/inform7/Tangled/inform7
 INFORM6 := $(INFORM)/inform6/Tangled/inform6
 INBLORB := $(INFORM)/inblorb/Tangled/inblorb