Docs update for v0.3.3 (optional time tags)

lukstafi · Sep 15, 2023 · 903d27a · 903d27a
1 parent c436efc
commit 903d27a
Show file tree

Hide file tree

Showing 40 changed files with 1,278 additions and 17 deletions.
diff --git a/docs/_html/index.html b/docs/_html/index.html
@@ -2,7 +2,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>index</title>
-    <link rel="stylesheet" href="./_odoc_support/odoc.css"/>
+    <link rel="stylesheet" href="./odoc.support/odoc.css"/>
     <meta charset="utf-8"/>
     <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
   </head>
@@ -11,7 +11,7 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="ppx_minidebug/index.html">ppx_minidebug</a> <span class="version">0.3.2</span></li>
+      <li><a href="ppx_minidebug/index.html">ppx_minidebug</a> <span class="version">0.3.3</span></li>
       </ol>
       </div>
     </main>

diff --git a/docs/_html/odoc.support/fonts/KaTeX_AMS-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Caligraphic-Bold.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Caligraphic-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Fraktur-Bold.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Fraktur-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Main-Bold.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Main-Bold.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Main-BoldItalic.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Main-Italic.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Main-Italic.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Main-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Main-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Math-BoldItalic.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Math-Italic.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Math-Italic.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Bold.woff2 b/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Italic.woff2 b/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Script-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Script-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Size1-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Size2-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Size3-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Size4-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/docs/_html/odoc.support/fonts/KaTeX_Typewriter-Regular.woff2 b/docs/_html/odoc.support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/docs/_html/odoc.support/highlight.pack.js b/docs/_html/odoc.support/highlight.pack.js
diff --git a/docs/_html/odoc.support/katex.min.css b/docs/_html/odoc.support/katex.min.css
diff --git a/docs/_html/odoc.support/katex.min.js b/docs/_html/odoc.support/katex.min.js