Deployed 1466493 to dev with MkDocs 1.6.1 and mike 2.1.3

Jelly-RDF · Oct 16, 2024 · d446448 · d446448
1 parent 10176a4
commit d446448
Show file tree

Hide file tree

Showing 5 changed files with 29 additions and 29 deletions.
diff --git a/dev/index.html b/dev/index.html
@@ -903,7 +903,7 @@ <h2 id="compatibility">Compatibility</h2>
 </thead>
 <tbody>
 <tr>
-<td><a href="https://w3id.org/jelly/jelly-jvm/2.0.x"><strong>2.0.x</strong></a></td>
+<td><a href="https://w3id.org/jelly/jelly-jvm/2.0.x">2.0.x</a> – <a href="https://w3id.org/jelly/jelly-jvm/2.1.x"><strong>2.1.x</strong></a></td>
 <td style="text-align: center;">3.3.x (LTS)</td>
 <td style="text-align: center;">17+</td>
 <td style="text-align: center;">5.x.x</td>
@@ -975,7 +975,7 @@ <h2 id="documentation">Documentation</h2>
     <span class="md-icon" title="Last update">
       <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24"><path d="M21 13.1c-.1 0-.3.1-.4.2l-1 1 2.1 2.1 1-1c.2-.2.2-.6 0-.8l-1.3-1.3c-.1-.1-.2-.2-.4-.2m-1.9 1.8-6.1 6V23h2.1l6.1-6.1zM12.5 7v5.2l4 2.4-1 1L11 13V7zM11 21.9c-5.1-.5-9-4.8-9-9.9C2 6.5 6.5 2 12 2c5.3 0 9.6 4.1 10 9.3-.3-.1-.6-.2-1-.2s-.7.1-1 .2C19.6 7.2 16.2 4 12 4c-4.4 0-8 3.6-8 8 0 4.1 3.1 7.5 7.1 7.9l-.1.2z"/></svg>
     </span>
-    <span class="git-revision-date-localized-plugin git-revision-date-localized-plugin-date">September 17, 2024</span>
+    <span class="git-revision-date-localized-plugin git-revision-date-localized-plugin-date">October 16, 2024</span>
   </span>
 
 

diff --git a/dev/search/search_index.json b/dev/search/search_index.json
diff --git a/dev/sitemap.xml b/dev/sitemap.xml
@@ -2,58 +2,58 @@
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/contributing/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/getting-started-devs/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/getting-started-plugins/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/licensing/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/dev/implementing/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/dev/releases/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/compatibility/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/grpc/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/jena/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/low-level/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/rdf4j/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/reactive/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
     <url>
          <loc>https://jelly-rdf.github.io/jelly-jvm/dev/user/utilities/</loc>
-         <lastmod>2024-10-15</lastmod>
+         <lastmod>2024-10-16</lastmod>
     </url>
 </urlset>
diff --git a/dev/sitemap.xml.gz b/dev/sitemap.xml.gz
diff --git a/versions.json b/versions.json
@@ -10,11 +10,11 @@
     "version": "2.0.x",
     "title": "2.0.x",
     "aliases": [
-      "2.0.2",
-      "stable",
       "2.0.0",
       "2.0.1",
-      "2.0.3"
+      "2.0.3",
+      "stable",
+      "2.0.2"
     ]
   },
   {
@@ -29,8 +29,8 @@
     "title": "0.14.x",
     "aliases": [
       "0.14.1",
-      "0.14.2",
-      "0.14.0"
+      "0.14.0",
+      "0.14.2"
     ]
   },
   {
@@ -44,28 +44,28 @@
     "version": "0.12.x",
     "title": "0.12.x",
     "aliases": [
-      "0.12.0",
-      "0.12.1"
+      "0.12.1",
+      "0.12.0"
     ]
   },
   {
     "version": "0.11.x",
     "title": "0.11.x",
     "aliases": [
-      "0.11.2",
+      "0.11.1",
       "0.11.3",
       "0.11.0",
-      "0.11.1",
-      "0.11.6",
-      "0.11.5"
+      "0.11.2",
+      "0.11.5",
+      "0.11.6"
     ]
   },
   {
     "version": "0.10.x",
     "title": "0.10.x",
     "aliases": [
-      "0.10.1",
       "0.10.0",
+      "0.10.1",
       "0.10.2"
     ]
   }