Deploying to gh-pages from @ 0fd4e41 🚀

zauberzeug · Oct 21, 2024 · 2f06cb8 · 2f06cb8
1 parent 8960646
commit 2f06cb8
Show file tree

Hide file tree

Showing 16 changed files with 38 additions and 38 deletions.
diff --git a/404.html b/404.html
@@ -12,15 +12,15 @@
 
 
       <link rel="icon" href="/assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Lizard</title>
 
 
 
-      <link rel="stylesheet" href="/assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="/assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -407,7 +407,7 @@ <h1>404 - Not found</h1>
     <script id="__config" type="application/json">{"base": "/", "features": [], "search": "/assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="/assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="/assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/assets/javascripts/bundle.525ec568.min.js → assets/javascripts/bundle.83f73b43.min.js b/assets/javascripts/bundle.525ec568.min.js → assets/javascripts/bundle.83f73b43.min.js
diff --git a/...ts/javascripts/bundle.525ec568.min.js.map → ...ts/javascripts/bundle.83f73b43.min.js.map b/...ts/javascripts/bundle.525ec568.min.js.map → ...ts/javascripts/bundle.83f73b43.min.js.map
diff --git a/assets/stylesheets/main.0253249f.min.css b/assets/stylesheets/main.0253249f.min.css
diff --git a/assets/stylesheets/main.0253249f.min.css.map b/assets/stylesheets/main.0253249f.min.css.map
diff --git a/assets/stylesheets/main.8c3ca2c6.min.css b/assets/stylesheets/main.8c3ca2c6.min.css
diff --git a/assets/stylesheets/main.8c3ca2c6.min.css.map b/assets/stylesheets/main.8c3ca2c6.min.css.map
diff --git a/examples/index.html b/examples/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Examples - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -635,7 +635,7 @@ <h2 id="use-a-port-expander">Use a port expander<a class="headerlink" href="#use
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/getting_started/index.html b/getting_started/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Getting Started - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -587,7 +587,7 @@ <h2 id="startup-script">Startup Script<a class="headerlink" href="#startup-scrip
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/index.html b/index.html
@@ -16,15 +16,15 @@
 
 
       <link rel="icon" href="assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Lizard</title>
 
 
 
-      <link rel="stylesheet" href="assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -552,7 +552,7 @@ <h2 id="concept">Concept<a class="headerlink" href="#concept" title="Permanent l
     <script id="__config" type="application/json">{"base": ".", "features": [], "search": "assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/language/index.html b/language/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>The Lizard Language - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -759,7 +759,7 @@ <h2 id="control-commands">Control commands<a class="headerlink" href="#control-c
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/machine_safety/index.html b/machine_safety/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Machine Safety - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -550,7 +550,7 @@ <h2 id="keep-alive-signal">Keep-alive signal<a class="headerlink" href="#keep-al
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/module_reference/index.html b/module_reference/index.html
@@ -18,15 +18,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Module Reference - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -3033,7 +3033,7 @@ <h2 id="proxy">Proxy<a class="headerlink" href="#proxy" title="Permanent link">&
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>

diff --git a/sitemap.xml b/sitemap.xml
@@ -2,30 +2,30 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>https://lizard.dev/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/examples/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/getting_started/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/language/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/machine_safety/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/module_reference/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
     <url>
          <loc>https://lizard.dev/tools/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-21</lastmod>
     </url>
 </urlset>
diff --git a/sitemap.xml.gz b/sitemap.xml.gz
diff --git a/tools/index.html b/tools/index.html
@@ -16,15 +16,15 @@
 
 
       <link rel="icon" href="../assets/images/favicon.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.40">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
 
 
 
         <title>Tools - Lizard</title>
 
 
 
-      <link rel="stylesheet" href="../assets/stylesheets/main.8c3ca2c6.min.css">
+      <link rel="stylesheet" href="../assets/stylesheets/main.0253249f.min.css">
 
 
 
@@ -764,7 +764,7 @@ <h3 id="releasing">Releasing<a class="headerlink" href="#releasing" title="Perma
     <script id="__config" type="application/json">{"base": "..", "features": [], "search": "../assets/javascripts/workers/search.6ce7567c.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}}</script>
 
 
-      <script src="../assets/javascripts/bundle.525ec568.min.js"></script>
+      <script src="../assets/javascripts/bundle.83f73b43.min.js"></script>
 
 
   </body>