From 0611268835b7314fd58a6fad30a2b05418422e5f Mon Sep 17 00:00:00 2001 From: Orestis Melkonian Date: Fri, 8 Mar 2024 19:37:45 +0000 Subject: [PATCH] Fix fail test-suite CSS. --- test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/Makefile b/test/Makefile index d0238875..dde0eec1 100644 --- a/test/Makefile +++ b/test/Makefile @@ -51,7 +51,7 @@ html/%.html : %.agda html/Agda.css renderTranslations.sh html/$(FAIL_MAIN).html : renderTranslations.sh @echo == Generating failing test-suite HTML == - $(AGDA2HS) -d --html --css=../Agda.css $(FAIL_MAIN).agda + $(AGDA2HS) -d --html --css=Agda.css $(FAIL_MAIN).agda renderTranslations : html/index.html html/fail/index.html renderTranslations.sh ./renderTranslations.sh