Update sarif doc to 0.2.1.

gborough · Jan 24, 2024 · a592a16 · a592a16
1 parent 5ce2071
commit a592a16
Show file tree

Hide file tree

Showing 43 changed files with 5,738 additions and 0 deletions.
diff --git a/sarif/index.html b/sarif/index.html
@@ -0,0 +1,19 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml">
+  <head>
+    <title>index</title>
+    <link rel="stylesheet" href="./odoc.support/odoc.css"/>
+    <meta charset="utf-8"/>
+    <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
+  </head>
+  <body>
+    <main class="content">
+      <div class="by-name">
+      <h2>OCaml package documentation</h2>
+      <ol>
+      <li><a href="sarif/index.html">sarif</a> <span class="version">0.2.1</span></li>
+      </ol>
+      </div>
+    </main>
+  </body>
+</html>
diff --git a/sarif/odoc.support/fonts/KaTeX_AMS-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Caligraphic-Bold.woff2 b/sarif/odoc.support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Caligraphic-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Fraktur-Bold.woff2 b/sarif/odoc.support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Fraktur-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Main-Bold.woff2 b/sarif/odoc.support/fonts/KaTeX_Main-Bold.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Main-BoldItalic.woff2 b/sarif/odoc.support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Main-Italic.woff2 b/sarif/odoc.support/fonts/KaTeX_Main-Italic.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Main-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Main-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Math-BoldItalic.woff2 b/sarif/odoc.support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Math-Italic.woff2 b/sarif/odoc.support/fonts/KaTeX_Math-Italic.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_SansSerif-Bold.woff2 b/sarif/odoc.support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_SansSerif-Italic.woff2 b/sarif/odoc.support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_SansSerif-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Script-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Script-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Size1-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Size2-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Size3-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Size4-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/sarif/odoc.support/fonts/KaTeX_Typewriter-Regular.woff2 b/sarif/odoc.support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/sarif/odoc.support/fonts/fira-mono-v14-latin-500.woff2 b/sarif/odoc.support/fonts/fira-mono-v14-latin-500.woff2
diff --git a/sarif/odoc.support/fonts/fira-mono-v14-latin-regular.woff2 b/sarif/odoc.support/fonts/fira-mono-v14-latin-regular.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-500.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-500.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-500italic.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-700.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-700.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-700italic.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-italic.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-italic.woff2
diff --git a/sarif/odoc.support/fonts/fira-sans-v17-latin-regular.woff2 b/sarif/odoc.support/fonts/fira-sans-v17-latin-regular.woff2
diff --git a/sarif/odoc.support/fonts/noticia-text-v15-latin-700.woff2 b/sarif/odoc.support/fonts/noticia-text-v15-latin-700.woff2
diff --git a/sarif/odoc.support/fonts/noticia-text-v15-latin-italic.woff2 b/sarif/odoc.support/fonts/noticia-text-v15-latin-italic.woff2
diff --git a/sarif/odoc.support/fonts/noticia-text-v15-latin-regular.woff2 b/sarif/odoc.support/fonts/noticia-text-v15-latin-regular.woff2
diff --git a/sarif/odoc.support/highlight.pack.js b/sarif/odoc.support/highlight.pack.js
diff --git a/sarif/odoc.support/katex.min.css b/sarif/odoc.support/katex.min.css
diff --git a/sarif/odoc.support/katex.min.js b/sarif/odoc.support/katex.min.js