aboutsummaryrefslogtreecommitdiff
path: root/docs/index.html
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-18 11:11:32 -0700
committerAdelyn Breedlove <[email protected]>2019-01-18 11:11:32 -0700
commitae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63 (patch)
tree72712b3173085f1624fdd4427cf91df6139e5398 /docs/index.html
parentoml why is this so annoying (diff)
downloaddisml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.tar.xz
disml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.zip
GitHub needs to named /docs not /doc
Diffstat (limited to 'docs/index.html')
-rw-r--r--docs/index.html19
1 files changed, 19 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 0000000..44a891a
--- /dev/null
+++ b/docs/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="disml/index.html">disml</a> <span class="version">0.2.0</span></li>
+ </ol>
+ </div>
+ </main>
+ </body>
+</html> \ No newline at end of file