Update tar doc to 3.0.0.

mirage · Aug 5, 2024 · 9e1a915 · 9e1a915
1 parent 8722b5e
commit 9e1a915
Show file tree

Hide file tree

Showing 53 changed files with 1,185 additions and 348 deletions.
diff --git a/index.html b/index.html
@@ -11,10 +11,10 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="tar/index.html">tar</a> <span class="version">v2.6.0</span></li>
-      <li><a href="tar-eio/index.html">tar-eio</a> <span class="version">v2.6.0</span></li>
-      <li><a href="tar-mirage/index.html">tar-mirage</a> <span class="version">v2.6.0</span></li>
-      <li><a href="tar-unix/index.html">tar-unix</a> <span class="version">v2.6.0</span></li>
+      <li><a href="tar/index.html">tar</a> <span class="version">v3.0.0</span></li>
+      <li><a href="tar-eio/index.html">tar-eio</a> <span class="version">v3.0.0</span></li>
+      <li><a href="tar-mirage/index.html">tar-mirage</a> <span class="version">v3.0.0</span></li>
+      <li><a href="tar-unix/index.html">tar-unix</a> <span class="version">v3.0.0</span></li>
       </ol>
       </div>
     </main>

diff --git a/odoc.support/fonts/fira-mono-v14-latin-500.woff2 b/odoc.support/fonts/fira-mono-v14-latin-500.woff2
diff --git a/odoc.support/fonts/fira-mono-v14-latin-regular.woff2 b/odoc.support/fonts/fira-mono-v14-latin-regular.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-500.woff2 b/odoc.support/fonts/fira-sans-v17-latin-500.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-700.woff2 b/odoc.support/fonts/fira-sans-v17-latin-700.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-italic.woff2 b/odoc.support/fonts/fira-sans-v17-latin-italic.woff2
diff --git a/odoc.support/fonts/fira-sans-v17-latin-regular.woff2 b/odoc.support/fonts/fira-sans-v17-latin-regular.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-700.woff2 b/odoc.support/fonts/noticia-text-v15-latin-700.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-italic.woff2 b/odoc.support/fonts/noticia-text-v15-latin-italic.woff2
diff --git a/odoc.support/fonts/noticia-text-v15-latin-regular.woff2 b/odoc.support/fonts/noticia-text-v15-latin-regular.woff2
diff --git a/odoc.support/highlight.pack.js b/odoc.support/highlight.pack.js