Deployed 01c5ae1 to v0.3.1 with MkDocs 1.6.0 and mike 2.1.2

rpetit3 · Aug 8, 2024 · 1fee1ef · 1fee1ef
1 parent 92e61c6
commit 1fee1ef
Show file tree

Hide file tree

Showing 5 changed files with 175 additions and 94 deletions.
diff --git a/v0.3.1/404.html b/v0.3.1/404.html
@@ -249,6 +249,24 @@
 
 
 
+
+
+
+
+
+
+      <li class="md-tabs__item">
+        <a href="/camlhmp/v0.3.1/api/" class="md-tabs__link">
+
+
+  API Reference
+
+        </a>
+      </li>
+
+
+
+
     </ul>
   </div>
 </nav>
@@ -402,8 +420,15 @@
 
 
 
-
-
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
+
 
 
 
@@ -419,10 +444,10 @@
 
 
 
-        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1_3" >
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2" >
 
 
-          <label class="md-nav__link" for="__nav_1_3" id="__nav_1_3_label" tabindex="0">
+          <label class="md-nav__link" for="__nav_2" id="__nav_2_label" tabindex="0">
 
 
   <span class="md-ellipsis">
@@ -439,8 +464,8 @@
             <span class="md-nav__icon md-icon"></span>
           </label>
 
-        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_1_3_label" aria-expanded="false">
-          <label class="md-nav__title" for="__nav_1_3">
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_2_label" aria-expanded="false">
+          <label class="md-nav__title" for="__nav_2">
             <span class="md-nav__icon md-icon"></span>
 
 
@@ -510,14 +535,6 @@
     </li>
 
 
-
-
-          </ul>
-        </nav>
-
-    </li>
-
-
 
   </ul>
 </nav>

diff --git a/v0.3.1/api/engines/index.html b/v0.3.1/api/engines/index.html
@@ -256,16 +256,34 @@
 
 
 
+
+
+
+      <li class="md-tabs__item">
+        <a href="../.." class="md-tabs__link">
+
+
+  camlhmp
+
+        </a>
+      </li>
+
+
+
+
+
+
+
 
 
 
 
 
       <li class="md-tabs__item md-tabs__item--active">
-        <a href="../.." class="md-tabs__link">
+        <a href="../" class="md-tabs__link">
 
 
-  camlhmp
+  API Reference
 
         </a>
       </li>
@@ -328,28 +346,23 @@
 
 
 
-
-
 
 
 
 
 
 
-
-
-
 
 
 
-    <li class="md-nav__item md-nav__item--active md-nav__item--section md-nav__item--nested">
+    <li class="md-nav__item md-nav__item--nested">
 
 
 
-        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1" checked>
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1" >
 
 
-          <label class="md-nav__link" for="__nav_1" id="__nav_1_label" tabindex="">
+          <label class="md-nav__link" for="__nav_1" id="__nav_1_label" tabindex="0">
 
 
   <span class="md-ellipsis">
@@ -366,7 +379,7 @@
             <span class="md-nav__icon md-icon"></span>
           </label>
 
-        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_1_label" aria-expanded="true">
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_1_label" aria-expanded="false">
           <label class="md-nav__title" for="__nav_1">
             <span class="md-nav__icon md-icon"></span>
 
@@ -431,8 +444,15 @@
 
 
 
-
-
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
+
 
 
 
@@ -443,17 +463,20 @@
 
 
 
+
+
+
 
 
 
-    <li class="md-nav__item md-nav__item--active md-nav__item--nested">
+    <li class="md-nav__item md-nav__item--active md-nav__item--section md-nav__item--nested">
 
 
 
-        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1_3" checked>
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2" checked>
 
 
-          <label class="md-nav__link" for="__nav_1_3" id="__nav_1_3_label" tabindex="0">
+          <label class="md-nav__link" for="__nav_2" id="__nav_2_label" tabindex="">
 
 
   <span class="md-ellipsis">
@@ -470,8 +493,8 @@
             <span class="md-nav__icon md-icon"></span>
           </label>
 
-        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_1_3_label" aria-expanded="true">
-          <label class="md-nav__title" for="__nav_1_3">
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_2_label" aria-expanded="true">
+          <label class="md-nav__title" for="__nav_2">
             <span class="md-nav__icon md-icon"></span>
 
 
@@ -682,14 +705,6 @@
     </li>
 
 
-
-
-          </ul>
-        </nav>
-
-    </li>
-
-
 
   </ul>
 </nav>

diff --git a/v0.3.1/api/index.html b/v0.3.1/api/index.html
@@ -253,16 +253,34 @@
 
 
 
+
+
+
+      <li class="md-tabs__item">
+        <a href=".." class="md-tabs__link">
+
+
+  camlhmp
+
+        </a>
+      </li>
+
+
+
+
+
+
+
 
 
 
 
 
       <li class="md-tabs__item md-tabs__item--active">
-        <a href=".." class="md-tabs__link">
+        <a href="./" class="md-tabs__link">
 
 
-  camlhmp
+  API Reference
 
         </a>
       </li>
@@ -325,28 +343,23 @@
 
 
 
-
-
 
 
 
 
 
 
-
-
-
 
 
 
-    <li class="md-nav__item md-nav__item--active md-nav__item--section md-nav__item--nested">
+    <li class="md-nav__item md-nav__item--nested">
 
 
 
-        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1" checked>
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1" >
 
 
-          <label class="md-nav__link" for="__nav_1" id="__nav_1_label" tabindex="">
+          <label class="md-nav__link" for="__nav_1" id="__nav_1_label" tabindex="0">
 
 
   <span class="md-ellipsis">
@@ -363,7 +376,7 @@
             <span class="md-nav__icon md-icon"></span>
           </label>
 
-        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_1_label" aria-expanded="true">
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_1_label" aria-expanded="false">
           <label class="md-nav__title" for="__nav_1">
             <span class="md-nav__icon md-icon"></span>
 
@@ -428,8 +441,15 @@
 
 
 
-
-
+          </ul>
+        </nav>
+
+    </li>
+
+
+
+
+
 
 
 
@@ -440,17 +460,20 @@
 
 
 
+
+
+
 
 
 
-    <li class="md-nav__item md-nav__item--active md-nav__item--nested">
+    <li class="md-nav__item md-nav__item--active md-nav__item--section md-nav__item--nested">
 
 
 
-        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_1_3" checked>
+        <input class="md-nav__toggle md-toggle " type="checkbox" id="__nav_2" checked>
 
 
-          <label class="md-nav__link" for="__nav_1_3" id="__nav_1_3_label" tabindex="0">
+          <label class="md-nav__link" for="__nav_2" id="__nav_2_label" tabindex="">
 
 
   <span class="md-ellipsis">
@@ -467,8 +490,8 @@
             <span class="md-nav__icon md-icon"></span>
           </label>
 
-        <nav class="md-nav" data-md-level="2" aria-labelledby="__nav_1_3_label" aria-expanded="true">
-          <label class="md-nav__title" for="__nav_1_3">
+        <nav class="md-nav" data-md-level="1" aria-labelledby="__nav_2_label" aria-expanded="true">
+          <label class="md-nav__title" for="__nav_2">
             <span class="md-nav__icon md-icon"></span>
 
 
@@ -546,14 +569,6 @@
     </li>
 
 
-
-
-          </ul>
-        </nav>
-
-    </li>
-
-
 
   </ul>
 </nav>