From f1ff7bb294d6c010b49837a9a5e3f7534321a8f5 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 4 Feb 2023 17:06:44 +0100
Subject: [PATCH] The issue is resolved

---
 bot/Makefile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/bot/Makefile b/bot/Makefile
index 1372735..1e2967b 100644
--- a/bot/Makefile
+++ b/bot/Makefile
@@ -1,10 +1,6 @@
-# See https://gitlab.com/preserves/preserves/-/issues/39
-WORKAROUND_PRESERVES_ISSUE_39=--base `realpath ../protocols/schemas`/
-
 schemas:
 	preserves-schema-rkt \
 		--output schemas \
-		$(WORKAROUND_PRESERVES_ISSUE_39) \
 		--module noise=:syndicate/schemas/noise \
 		../protocols/schemas/**.prs