Fix fail test-suite CSS.

agda · Mar 8, 2024 · 0611268 · 0611268
1 parent 416234a
commit 0611268
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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