docsite: Rename "runtime" to "platform"

Update generated docs from changes to source material. Commit-group: 2/2 Gen-command: make docs
evylang · Dec 19, 2024 · baf2681 · baf2681
1 parent ac4f72a
commit baf2681
Show file tree

Hide file tree

Showing 8 changed files with 20 additions and 20 deletions.
diff --git a/frontend/docs/builtins.html b/frontend/docs/builtins.html
diff --git a/frontend/docs/builtins.htmlf b/frontend/docs/builtins.htmlf
diff --git a/frontend/docs/index.html b/frontend/docs/index.html
diff --git a/frontend/docs/spec.html b/frontend/docs/spec.html
diff --git a/frontend/docs/spec.htmlf b/frontend/docs/spec.htmlf
diff --git a/frontend/docs/syntax-by-example.html b/frontend/docs/syntax-by-example.html
diff --git a/frontend/docs/talks-and-papers.html b/frontend/docs/talks-and-papers.html
diff --git a/frontend/docs/usage.html b/frontend/docs/usage.html