From 9f1458db641460a179c21fbdfb160054eff9b92b Mon Sep 17 00:00:00 2001
From: Cam Hutchison <camh@xdna.net>
Date: Thu, 19 Dec 2024 21:59:22 +1100
Subject: [PATCH] docsite: Rename "runtime" to "platform"

Update generated docs from changes to source material.

Commit-group: 2/2
Gen-command: make docs
---
 frontend/docs/builtins.html          |  4 ++--
 frontend/docs/builtins.htmlf         |  2 +-
 frontend/docs/index.html             |  2 +-
 frontend/docs/spec.html              | 14 +++++++-------
 frontend/docs/spec.htmlf             | 12 ++++++------
 frontend/docs/syntax-by-example.html |  2 +-
 frontend/docs/talks-and-papers.html  |  2 +-
 frontend/docs/usage.html             |  2 +-
 8 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/frontend/docs/builtins.html b/frontend/docs/builtins.html
index caabaae5..5d18c3f1 100644
--- a/frontend/docs/builtins.html
+++ b/frontend/docs/builtins.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>
@@ -974,7 +974,7 @@ <h3><a id="sleep" href="#sleep" class="anchor">#</a><code>sleep</code></h3>
           use sleep to create a countdown timer.
         </p>
         <p>
-          In the <a href="spec.html#runtimes">browser runtime</a> <code>sleep</code> pauses a
+          In the <a href="spec.html#platforms">browser platform</a> <code>sleep</code> pauses a
           minimum of 1 millisecond.
         </p>
         <h4>Example</h4>
diff --git a/frontend/docs/builtins.htmlf b/frontend/docs/builtins.htmlf
index 82aa5359..4d48f141 100644
--- a/frontend/docs/builtins.htmlf
+++ b/frontend/docs/builtins.htmlf
@@ -398,7 +398,7 @@ print map
   to create a countdown timer.
 </p>
 <p>
-  In the <a href="spec.html#runtimes">browser runtime</a> <code>sleep</code> pauses a minimum of 1
+  In the <a href="spec.html#platforms">browser platform</a> <code>sleep</code> pauses a minimum of 1
   millisecond.
 </p>
 <h4>Example</h4>
diff --git a/frontend/docs/index.html b/frontend/docs/index.html
index ba8d93b3..2da6012f 100644
--- a/frontend/docs/index.html
+++ b/frontend/docs/index.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>
diff --git a/frontend/docs/spec.html b/frontend/docs/spec.html
index bec74588..91d8f346 100644
--- a/frontend/docs/spec.html
+++ b/frontend/docs/spec.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>
@@ -2138,17 +2138,17 @@ <h2>
           For more information on individual event handlers, see the
           <a href="builtins.html#event-handlers">built-in documentation</a>.
         </p>
-        <h2><a id="runtimes" href="#runtimes" class="anchor">#</a>Runtimes</h2>
+        <h2><a id="platforms" href="#platforms" class="anchor">#</a>Platforms</h2>
         <p>
-          Evy has two runtimes: the <strong>terminal runtime</strong> and the
-          <strong>browser runtime</strong>.
+          Evy has two platforms: the <strong>terminal platform</strong> and the
+          <strong>browser platform</strong>.
         </p>
         <p>
-          The browser runtime can be tried at <a href="/play">play.evy.dev</a>. It fully supports
+          The browser platform can be tried at <a href="/play">play.evy.dev</a>. It fully supports
           all built-in functions and event handlers as described in the
           <a href="builtin.html">built-in documentation</a>.
         </p>
-        <p>To use the terminal runtime, first install Evy and then run</p>
+        <p>To use the terminal platform, first install Evy and then run</p>
         <pre><code>evy run FILE.evy
 </code></pre>
         <p>
@@ -2159,7 +2159,7 @@ <h2><a id="runtimes" href="#runtimes" class="anchor">#</a>Runtimes</h2>
 </code></pre>
         <p>
           For more details, run <code>evy run --help</code> or <code>evy fmt --help</code>. The
-          terminal runtime does not support event handlers or graphics functions.
+          terminal platform does not support event handlers or graphics functions.
         </p>
       </div>
     </main>
diff --git a/frontend/docs/spec.htmlf b/frontend/docs/spec.htmlf
index feb7686a..8e6d5d55 100644
--- a/frontend/docs/spec.htmlf
+++ b/frontend/docs/spec.htmlf
@@ -1490,17 +1490,17 @@ num
   For more information on individual event handlers, see the
   <a href="builtins.html#event-handlers">built-in documentation</a>.
 </p>
-<h2><a id="runtimes" href="#runtimes" class="anchor">#</a>Runtimes</h2>
+<h2><a id="platforms" href="#platforms" class="anchor">#</a>Platforms</h2>
 <p>
-  Evy has two runtimes: the <strong>terminal runtime</strong> and the
-  <strong>browser runtime</strong>.
+  Evy has two platforms: the <strong>terminal platform</strong> and the
+  <strong>browser platform</strong>.
 </p>
 <p>
-  The browser runtime can be tried at <a href="/play">play.evy.dev</a>. It fully supports all
+  The browser platform can be tried at <a href="/play">play.evy.dev</a>. It fully supports all
   built-in functions and event handlers as described in the
   <a href="builtin.html">built-in documentation</a>.
 </p>
-<p>To use the terminal runtime, first install Evy and then run</p>
+<p>To use the terminal platform, first install Evy and then run</p>
 <pre><code>evy run FILE.evy
 </code></pre>
 <p>
@@ -1511,5 +1511,5 @@ num
 </code></pre>
 <p>
   For more details, run <code>evy run --help</code> or <code>evy fmt --help</code>. The terminal
-  runtime does not support event handlers or graphics functions.
+  platform does not support event handlers or graphics functions.
 </p>
diff --git a/frontend/docs/syntax-by-example.html b/frontend/docs/syntax-by-example.html
index 51712062..c3547526 100644
--- a/frontend/docs/syntax-by-example.html
+++ b/frontend/docs/syntax-by-example.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>
diff --git a/frontend/docs/talks-and-papers.html b/frontend/docs/talks-and-papers.html
index 7899550a..32cefc70 100644
--- a/frontend/docs/talks-and-papers.html
+++ b/frontend/docs/talks-and-papers.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>
diff --git a/frontend/docs/usage.html b/frontend/docs/usage.html
index 0c70e7f0..e9c3ec23 100644
--- a/frontend/docs/usage.html
+++ b/frontend/docs/usage.html
@@ -513,7 +513,7 @@ <h1>Documentation</h1>
                   >Execution Model and Event Handlers</a
                 >
               </li>
-              <li><a href="spec.html#runtimes">Runtimes</a></li>
+              <li><a href="spec.html#platforms">Platforms</a></li>
             </ul>
           </li>
           <li>