From a241237b7042daccb16e61052b46d5d2d13ce692 Mon Sep 17 00:00:00 2001 From: William Moore Date: Tue, 5 Jul 2022 18:36:53 -0500 Subject: [PATCH] Update to Makefile for handling stuff gooder --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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