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