doc update

aldrikfr · Nov 21, 2019 · dfda29c · dfda29c
1 parent 71f050a
commit dfda29c
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 5 deletions.
diff --git a/docs/highlight.pack.js b/docs/highlight.pack.js
diff --git a/docs/index.html b/docs/index.html
@@ -12,6 +12,7 @@
       <h2>OCaml package documentation</h2>
       <ol>
       <li><a href="range/index.html">range</a></li>
+      <li><a href="range.0.8/index.html">range.0.8</a></li>
       </ol>
       </div>
     </main>

diff --git a/docs/odoc.css b/docs/odoc.css
@@ -1,7 +1,7 @@
 @charset "UTF-8";
 /* Copyright (c) 2016 The odoc contributors. All rights reserved.
    Distributed under the ISC license, see terms at the end of the file.
-   odoc 1.4.1 */
+   odoc 1.4.2 */
 
 /* Fonts */
 @import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500');

diff --git a/docs/range.0.8/index.html b/docs/range.0.8/index.html
@@ -0,0 +1,2 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (range.0.8.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc %%VERSION%%"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – range.0.8</nav><h1 id="range.0.8-index"><a href="#range.0.8-index" class="anchor"></a>range.0.8 index</h1></header></div></body></html>
diff --git a/docs/range/Range/index.html b/docs/range/Range/index.html
diff --git a/docs/range/index.html b/docs/range/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (range.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – range</nav><h1 id="range-index"><a href="#range-index" class="anchor"></a>range index</h1><nav class="toc"><ul><li><a href="#library-range">Library range</a></li></ul></nav></header><h2 id="library-range"><a href="#library-range" class="anchor"></a>Library range</h2><p>The entry point of this library is the module: <a href="Range/index.html"><code>Range</code></a>.</p></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (range.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc %%VERSION%%"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – range</nav><h1 id="range-index"><a href="#range-index" class="anchor"></a>range index</h1><nav class="toc"><ul><li><a href="#library-range">Library range</a></li></ul></nav></header><h2 id="library-range"><a href="#library-range" class="anchor"></a>Library range</h2><p>The entry point of this library is the module: <a href="Range/index.html"><code>Range</code></a>.</p></div></body></html>
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,6 +12,7 @@ @@
           <h2>OCaml package documentation</h2>
           <ol>
           <li><a href="range/index.html">range</a></li>
+          <li><a href="range.0.8/index.html">range.0.8</a></li>
           </ol>
           </div>
         </main>
@@ Expand Down @@
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		<!DOCTYPE html>
		<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (range.0.8.index)</title><link rel="stylesheet" href="../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc %%VERSION%%"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – range.0.8</nav><h1 id="range.0.8-index"><a href="#range.0.8-index" class="anchor"></a>range.0.8 index</h1></header></div></body></html>