Update tls doc to 0.17.4.

mirleft · Mar 26, 2024 · 90cbefe · 90cbefe
1 parent bbd47dd
commit 90cbefe
Show file tree

Hide file tree

Showing 68 changed files with 1,343 additions and 501 deletions.
diff --git a/doc/index.html b/doc/index.html
@@ -11,10 +11,10 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="tls/index.html">tls</a> <span class="version">0.17.3</span></li>
-      <li><a href="tls-async/index.html">tls-async</a> <span class="version">0.17.3</span></li>
-      <li><a href="tls-lwt/index.html">tls-lwt</a> <span class="version">0.17.3</span></li>
-      <li><a href="tls-mirage/index.html">tls-mirage</a> <span class="version">0.17.3</span></li>
+      <li><a href="tls/index.html">tls</a> <span class="version">0.17.4</span></li>
+      <li><a href="tls-async/index.html">tls-async</a> <span class="version">0.17.4</span></li>
+      <li><a href="tls-lwt/index.html">tls-lwt</a> <span class="version">0.17.4</span></li>
+      <li><a href="tls-mirage/index.html">tls-mirage</a> <span class="version">0.17.4</span></li>
       </ol>
       </div>
     </main>

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