Install offers the built pardes 0.23 binaries first, each with its checksum, then building from source

`project.download` in style.typ holds the version, the SHA256SUMS link
and a file per program (the static terminal build and the window
build, with what each needs); install.typ shows, for each, the curl,
the sha256sum -c of its own checksum and the move into ~/.local/bin,
then the clone and the build as the alternative.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

1 files changed, 15 insertions, 8 deletions

diff --git a/docs/typ/install.typ b/docs/typ/install.typ
index f54cda46..c293b3fb 100644
--- a/docs/typ/install.typ
+++ b/docs/typ/install.typ
@@ -1,16 +1,23 @@
-// 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.
+// Installing pardes: the downloads, else the clone and the build, included
+// by setup.typ and by the site's landing page, so it is written once. The
+// downloads and the mirrors come from `project` in style.typ.
 #import "style.typ": cmd, project
 
+#if project.download != none {
+  let d = project.download
+  for f in d.files {
+    let name = f.url.split("/").last()
+    [pardes #d.version, #f.what:]
+    cmd("curl -LO " + f.url + "\necho '" + f.sha256 + "  " + name + "' | sha256sum -c\nchmod +x " + name + " && mv " + name + " ~/.local/bin/" + f.program)
+  }
+  [The checksums are also in #link(d.sums)[`SHA256SUMS`].]
+  parbreak()
+  [Or build it from source:]
+}
+
 #let first = project.mirrors.first()
 #cmd("git clone " + first.clone + " && cd pardes")
 
-#if project.download != none [
-  A static #raw(project.download.arch) binary: #link(project.download.url)[#raw(project.download.url.split("/").last())]
-  (sha256 #raw(project.download.sha256)). Or build it:
-]
-
 With Zig 0.16 (the build fetches everything else; once that is
 downloaded, a first build from a clean cache took 62 seconds on 16 cores):
 #cmd("# pardes, in a terminal\nzig build -Dplatform=tty --prefix ~/.local")