diff options
| -rw-r--r-- | yellowsquid/packages/agda.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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/"))) |