Update docs

mirage · Mar 19, 2015 · f8d366b · f8d366b
1 parent edee611
commit f8d366b
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 10 deletions.
diff --git a/V1.DEVICE.html b/V1.DEVICE.html
@@ -13,21 +13,21 @@
 <link title="Mirage" rel="Chapter" href="Mirage.html">
 <link title="Mirage_misc" rel="Chapter" href="Mirage_misc.html">
 <link title="V1" rel="Chapter" href="V1.html">
-<link title="V1_LWT" rel="Chapter" href="V1_LWT.html"><link title="Abtract devices" rel="Section" href="#1_Abtractdevices">
-<title>V1.DEVICE</title>
+<link title="V1_LWT" rel="Chapter" href="V1_LWT.html"><title>V1.DEVICE</title>
 </head>
 <body>
 <div class="navbar">&nbsp;<a class="up" href="V1.html" title="V1">Up</a>
 &nbsp;<a class="post" href="V1.TIME.html" title="V1.TIME">Next</a>
 </div>
 <h1>Module type <a href="type_V1.DEVICE.html">V1.DEVICE</a></h1>
 
-<pre><span class="keyword">module type</span> DEVICE = <code class="code">sig</code> <a href="V1.DEVICE.html">..</a> <code class="code">end</code></pre><hr width="100%">
-<br>
+<pre><span class="keyword">module type</span> DEVICE = <code class="code">sig</code> <a href="V1.DEVICE.html">..</a> <code class="code">end</code></pre><div class="info modtype top">
 <h1 id="1_Abtractdevices">Abtract devices</h1>
 <p>
 
-      Defines the functions to connect and disconnect any device<br>
+    Defines the functions to connect and disconnect any device<br>
+</div>
+<hr width="100%">
 
 <pre><span id="TYPEio"><span class="keyword">type</span> <code class="type">+'a</code> io</span> </pre>
 <div class="info ">

diff --git a/V1.html b/V1.html
@@ -24,11 +24,18 @@
 <h1>Module <a href="type_V1.html">V1</a></h1>
 
 <pre><span class="keyword">module</span> V1: <code class="code">sig</code> <a href="V1.html">..</a> <code class="code">end</code></pre><div class="info module top">
-Mirage Signatures<br>
+MirageOS Signatures.
+<p>
+
+    This module defines the basic signatures for functor parameters
+    that a fully MirageOS library should implement to be portable.<br>
 </div>
 <hr width="100%">
 
-<pre><span class="keyword">module type</span> <a href="V1.DEVICE.html">DEVICE</a> = <code class="code">sig</code> <a href="V1.DEVICE.html">..</a> <code class="code">end</code></pre>
+<pre><span class="keyword">module type</span> <a href="V1.DEVICE.html">DEVICE</a> = <code class="code">sig</code> <a href="V1.DEVICE.html">..</a> <code class="code">end</code></pre><div class="info">
+Abtract devices
+</div>
+
 <pre><span class="keyword">module type</span> <a href="V1.TIME.html">TIME</a> = <code class="code">sig</code> <a href="V1.TIME.html">..</a> <code class="code">end</code></pre>
 <pre><span class="keyword">module type</span> <a href="V1.RANDOM.html">RANDOM</a> = <code class="code">sig</code> <a href="V1.RANDOM.html">..</a> <code class="code">end</code></pre>
 <pre><span class="keyword">module type</span> <a href="V1.ENTROPY.html">ENTROPY</a> = <code class="code">sig</code> <a href="V1.ENTROPY.html">..</a> <code class="code">end</code></pre>

diff --git a/index.html b/index.html
@@ -32,7 +32,7 @@ <h1></h1>
 </div>
 </td></tr>
 <tr><td class="module"><a href="V1.html">V1</a></td><td><div class="info">
-Mirage Signatures
+MirageOS Signatures.
 </div>
 </td></tr>
 <tr><td class="module"><a href="V1_LWT.html">V1_LWT</a></td><td><div class="info">

diff --git a/index_module_types.html b/index_module_types.html
@@ -46,7 +46,10 @@ <h1>Index of module types</h1>
 <td></td></tr>
 <tr><td align="left"><br>D</td></tr>
 <tr><td><a href="V1.DEVICE.html">DEVICE</a> [<a href="V1.html">V1</a>]</td>
-<td></td></tr>
+<td><div class="info">
+Abtract devices
+</div>
+</td></tr>
 <tr><td align="left"><br>E</td></tr>
 <tr><td><a href="V1_LWT.ENTROPY.html">ENTROPY</a> [<a href="V1_LWT.html">V1_LWT</a>]</td>
 <td><div class="info">

diff --git a/index_modules.html b/index_modules.html
@@ -129,7 +129,7 @@ <h1>Index of modules</h1>
 <tr><td align="left"><br>V</td></tr>
 <tr><td><a href="V1.html">V1</a> </td>
 <td><div class="info">
-Mirage Signatures
+MirageOS Signatures.
 </div>
 </td></tr>
 <tr><td><a href="V1_LWT.html">V1_LWT</a> </td>