1 files changed, 0 insertions, 19 deletions
diff --git a/docs/index.html b/docs/index.html
deleted file mode 100644
index 97007dd..0000000
--- a/docs/index.html
+++ /dev/null
@@ -1,19 +0,0 @@
-<!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.1</span></li>
-      </ol>
-      </div>
-    </main>
-  </body>
-</html>
-\ No newline at end of file