auto generated docs from Jenkins

stan-dev · Oct 2, 2023 · 5c58333 · 5c58333
commit 5c58333
Show file tree

Hide file tree

Showing 836 changed files with 2,438 additions and 0 deletions.
diff --git a/highlight.pack.js b/highlight.pack.js
diff --git a/index.html b/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.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="stanc/index.html">stanc</a></li>
+      </ol>
+      </div>
+    </main>
+  </body>
+</html>