diff options
Diffstat (limited to 'docs/typ/install.typ')
| -rw-r--r-- | docs/typ/install.typ | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/docs/typ/install.typ b/docs/typ/install.typ index 37e07d1a..6d853f3f 100644 --- a/docs/typ/install.typ +++ b/docs/typ/install.typ @@ -1,6 +1,11 @@ -// Installing pardes, in three lines: included by setup.typ and by the -// site's landing page, so it is written once. -#import "style.typ": cmd +// Installing pardes: the clone and the build, included by setup.typ and by +// the site's landing page, so it is written once. The mirrors come from +// `project` in style.typ. +#import "style.typ": cmd, project + +#let first = project.mirrors.first() +#cmd("git clone " + first.clone + " && cd pardes") +Every mirror holds the same tree: #project.mirrors.map(m => link(m.web, m.name)).join(", "). With Zig 0.16 (the build fetches everything else): #cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local") |