diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 12:01:22 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 12:01:22 +0000 |
| commit | 4ab43dd126cd256ed704cdc2611710b07570b0fd (patch) | |
| tree | 9e84b55d554740d04b48555a99cc3c59b5d27463 /yellowsquid/packages/agda.scm | |
| parent | a6a7fd06287561be92af7e1c51bb33b3b602c264 (diff) | |
agda-stdlib: Move docs from `out` to `doc`.
Diffstat (limited to 'yellowsquid/packages/agda.scm')
| -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/"))) |