deploy: afa7022

toedter · Aug 16, 2024 · 45d32ba · 45d32ba
1 parent 8b78971
commit 45d32ba
Show file tree

Hide file tree

Showing 6 changed files with 20 additions and 25 deletions.
diff --git a/snapshot/reference-doc/index.html b/snapshot/reference-doc/index.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <meta name="author" content="Kai Tödter">
 <title>HAL Explorer</title>
 <link rel="stylesheet" href="css/site.css">
@@ -696,16 +696,11 @@ <h2 id="license"><a class="anchor" href="#license"></a>5. License</h2>
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
-<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.18.3/highlight.min.js"></script>
-<script>
-if (!hljs.initHighlighting.called) {
-  hljs.initHighlighting.called = true
-  ;[].slice.call(document.querySelectorAll('pre.highlight > code[data-lang]')).forEach(function (el) { hljs.highlightBlock(el) })
-}
-</script>
+<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.6/highlight.min.js"></script>
+<script>hljs.initHighlighting()</script>
 </div>
   </div>
 </div>

diff --git a/snapshot/reference-doc/introduction.html b/snapshot/reference-doc/introduction.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <title>Introduction</title>
 <link rel="stylesheet" href="css/site.css">
 <script src="js/setup.js"></script><script defer src="js/site.js"></script>
@@ -128,7 +128,7 @@ <h2 id="features"><a class="anchor" href="#features"></a>Features</h2>
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
 </div>

diff --git a/snapshot/reference-doc/license.html b/snapshot/reference-doc/license.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <title>License</title>
 <link rel="stylesheet" href="css/site.css">
 <script src="js/setup.js"></script><script defer src="js/site.js"></script>
@@ -40,7 +40,7 @@ <h1>License</h1>
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
 </div>

diff --git a/snapshot/reference-doc/menu.html b/snapshot/reference-doc/menu.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <title>Menu</title>
 <link rel="stylesheet" href="css/site.css">
 <script src="js/setup.js"></script><script defer src="js/site.js"></script>
@@ -88,7 +88,7 @@ <h2 id="settings"><a class="anchor" href="#settings"></a>Settings</h2>
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
 </div>

diff --git a/snapshot/reference-doc/setup.html b/snapshot/reference-doc/setup.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <title>Setup</title>
 <link rel="stylesheet" href="css/site.css">
 <script src="js/setup.js"></script><script defer src="js/site.js"></script>
@@ -223,7 +223,7 @@ <h3 id="_running_tests"><a class="anchor" href="#_running_tests"></a>Running Tes
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
 </div>

diff --git a/snapshot/reference-doc/usage.html b/snapshot/reference-doc/usage.html
@@ -1,10 +1,10 @@
 <!DOCTYPE html>
-<html lang="">
+<html lang="en">
 <head>
 <meta charset="UTF-8">
 <meta http-equiv="X-UA-Compatible" content="IE=edge">
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<meta name="generator" content="Asciidoctor 2.0.18">
+<meta name="generator" content="Asciidoctor 2.0.10">
 <title>Using HAL Explorer</title>
 <link rel="stylesheet" href="css/site.css">
 <script src="js/setup.js"></script><script defer src="js/site.js"></script>
@@ -288,7 +288,7 @@ <h2 id="_hal_forms_options"><a class="anchor" href="#_hal_forms_options"></a>HAL
 <div id="footer">
 <div id="footer-text">
 Version 1.2.2<br>
-Last updated 2024-08-16 11:33:13 UTC
+Last updated 2024-08-16 11:32:52 UTC
 </div>
 </div>
 </div>