From 4ab43dd126cd256ed704cdc2611710b07570b0fd Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Mon, 27 Dec 2021 12:01:22 +0000 Subject: agda-stdlib: Move docs from `out` to `doc`. --- yellowsquid/packages/agda.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm index 3ce98dd..9b023d4 100644 --- a/yellowsquid/packages/agda.scm +++ b/yellowsquid/packages/agda.scm @@ -65,7 +65,7 @@ name: standard-library-1.7.1 include: stdlib\n" port))) - (copy-recursively "html" (string-append lib "/")) + (copy-recursively "html" (string-append doc "/")) (with-directory-excursion "src" (map (lambda (file) (install-file file (string-append lib "/stdlib/"))) -- cgit v1.2.3