Deployed 636ed28 to 1.0.x with MkDocs 1.6.1 and mike 2.1.3

Jelly-RDF · Nov 7, 2024 · 4013d1f · 4013d1f
1 parent d3907ae
commit 4013d1f
Show file tree

Hide file tree

Showing 32 changed files with 2,098 additions and 256 deletions.
diff --git a/1.0.0/performance/rdf4j/index.html b/1.0.0/performance/rdf4j/index.html
@@ -0,0 +1,18 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=../../../1.0.x/performance/rdf4j/" />
+  </noscript>
+  <script>
+    window.location.replace(
+      "../../../1.0.x/performance/rdf4j/" + window.location.search + window.location.hash
+    );
+  </script>
+</head>
+<body>
+  Redirecting to <a href="../../../1.0.x/performance/rdf4j/">../../../1.0.x/performance/rdf4j/</a>...
+</body>
+</html>
diff --git a/1.0.1/performance/rdf4j/index.html b/1.0.1/performance/rdf4j/index.html
@@ -0,0 +1,18 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=../../../1.0.x/performance/rdf4j/" />
+  </noscript>
+  <script>
+    window.location.replace(
+      "../../../1.0.x/performance/rdf4j/" + window.location.search + window.location.hash
+    );
+  </script>
+</head>
+<body>
+  Redirecting to <a href="../../../1.0.x/performance/rdf4j/">../../../1.0.x/performance/rdf4j/</a>...
+</body>
+</html>
diff --git a/1.0.x/404.html b/1.0.x/404.html
@@ -14,7 +14,7 @@
 
 
       <link rel="icon" href="/1.0.x/assets/jelly_color.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.44">
 
 
 
@@ -300,19 +300,80 @@
 
 
 
-    <li class="md-nav__item">
-      <a href="/1.0.x/performance/" class="md-nav__link">
+
+
+
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
 
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_3" >
+
+
+
+          <div class="md-nav__link md-nav__container">
+            <a href="/1.0.x/performance/" class="md-nav__link ">
+
 
   <span class="md-ellipsis">
     Performance
   </span>
 
 
+            </a>
+
+
+              <label class="md-nav__link " for="__nav_3" id="__nav_3_label" tabindex="0">
+                <span class="md-nav__icon md-icon"></span>
+              </label>
+
+          </div>
+
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_3">
+            <span class="md-nav__icon md-icon"></span>
+            Performance
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="/1.0.x/performance/rdf4j/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    RDF4J benchmarks
+  </span>
+
+
       </a>
     </li>
 
 
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
 
 
 
@@ -470,7 +531,7 @@
 
 
   <span class="md-ellipsis">
-    File extension and media type
+    File extensions and media types
   </span>
 
 
@@ -494,7 +555,7 @@
 
 
     <li class="md-nav__item">
-      <a href="https://w3id.org/jelly/jelly-jvm/2.2.1/" class="md-nav__link">
+      <a href="https://w3id.org/jelly/jelly-jvm/2.2.2/" class="md-nav__link">
 
 
   <span class="md-ellipsis">

diff --git a/1.0.x/assets/benchmarks/flat_des.png b/1.0.x/assets/benchmarks/flat_des.png
diff --git a/1.0.x/assets/benchmarks/flat_des_rdf4j.png b/1.0.x/assets/benchmarks/flat_des_rdf4j.png
diff --git a/1.0.x/assets/benchmarks/flat_ser.png b/1.0.x/assets/benchmarks/flat_ser.png
diff --git a/1.0.x/assets/benchmarks/flat_ser_rdf4j.png b/1.0.x/assets/benchmarks/flat_ser_rdf4j.png
diff --git a/1.0.x/assets/benchmarks/flat_size.png b/1.0.x/assets/benchmarks/flat_size.png
diff --git a/1.0.x/assets/benchmarks/grouped_des.png b/1.0.x/assets/benchmarks/grouped_des.png
diff --git a/1.0.x/assets/benchmarks/grouped_des_rdf4j.png b/1.0.x/assets/benchmarks/grouped_des_rdf4j.png
diff --git a/1.0.x/assets/benchmarks/grouped_ser.png b/1.0.x/assets/benchmarks/grouped_ser.png
diff --git a/1.0.x/assets/benchmarks/grouped_ser_rdf4j.png b/1.0.x/assets/benchmarks/grouped_ser_rdf4j.png
diff --git a/1.0.x/assets/benchmarks/grouped_size.png b/1.0.x/assets/benchmarks/grouped_size.png
diff --git a/1.0.x/assets/benchmarks/size.png b/1.0.x/assets/benchmarks/size.png
diff --git a/1.0.x/contributing/index.html b/1.0.x/contributing/index.html
@@ -20,7 +20,7 @@
 
 
       <link rel="icon" href="../assets/jelly_color.png">
-      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.42">
+      <meta name="generator" content="mkdocs-1.6.1, mkdocs-material-9.5.44">
 
 
 
@@ -322,19 +322,80 @@
 
 
 
-    <li class="md-nav__item">
-      <a href="../performance/" class="md-nav__link">
+
+
+
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item md-nav__item--nested">
+
+
 
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_3" >
+
+
+
+          <div class="md-nav__link md-nav__container">
+            <a href="../performance/" class="md-nav__link ">
+
 
   <span class="md-ellipsis">
     Performance
   </span>
 
 
+            </a>
+
+
+              <label class="md-nav__link " for="__nav_3" id="__nav_3_label" tabindex="0">
+                <span class="md-nav__icon md-icon"></span>
+              </label>
+
+          </div>
+
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_3_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_3">
+            <span class="md-nav__icon md-icon"></span>
+            Performance
+          </label>
+          <ul class="md-nav__list" data-md-scrollfix>
+
+
+
+
+
+
+
+
+
+    <li class="md-nav__item">
+      <a href="../performance/rdf4j/" class="md-nav__link">
+
+
+  <span class="md-ellipsis">
+    RDF4J benchmarks
+  </span>
+
+
       </a>
     </li>
 
 
+
+
+          </ul>
+        </nav>
+
+    </li>
+
+
 
 
 
@@ -492,7 +553,7 @@
 
 
   <span class="md-ellipsis">
-    File extension and media type
+    File extensions and media types
   </span>
 
 
@@ -516,7 +577,7 @@
 
 
     <li class="md-nav__item">
-      <a href="https://w3id.org/jelly/jelly-jvm/2.2.1/" class="md-nav__link">
+      <a href="https://w3id.org/jelly/jelly-jvm/2.2.2/" class="md-nav__link">
 
 
   <span class="md-ellipsis">
@@ -935,8 +996,8 @@ <h3 id="editing-jelly-jvm-documentation">Editing Jelly-JVM documentation</h3>
 <h2 id="contributing-to-jelly-implementations">Contributing to Jelly implementations</h2>
 <h3 id="jelly-jvm">Jelly-JVM</h3>
 <ul>
-<li><strong><a href="https://w3id.org/jelly/jelly-jvm/2.2.1/contributing">Jelly-JVM contributing page</a></strong></li>
-<li><a href="https://w3id.org/jelly/jelly-jvm/2.2.1/">Jelly-JVM documentation</a> includes the developer guide, explaining the technical aspects of contributing to it.</li>
+<li><strong><a href="https://w3id.org/jelly/jelly-jvm/2.2.2/contributing">Jelly-JVM contributing page</a></strong></li>
+<li><a href="https://w3id.org/jelly/jelly-jvm/2.2.2/">Jelly-JVM documentation</a> includes the developer guide, explaining the technical aspects of contributing to it.</li>
 <li><a href="https://github.com/Jelly-RDF/jelly-jvm">GitHub repository</a></li>
 <li><a href="https://github.com/Jelly-RDF/jelly-jvm/issues">Issue tracker</a></li>
 </ul>