Julow

diff --git a/html_master/odoc/source/src/document/ML.ml.html b/html_1031/odoc/source/src/document/ML.ml.html
index 3d334e001..e065a39ad 100644
--- a/html_master/odoc/source/src/document/ML.ml.html
+++ b/html_1031/odoc/source/src/document/ML.ml.html
@@ -107,98 +107,98 @@
 </span><span class="EOL">
 </span><span id="module-ML"><span class="MODULE">module</span> <span class="UIDENT">ML</span> <span class="EQUAL">=</span> <span class="UIDENT">Generator</span><span class="DOT">.</span><span class="UIDENT">Make</span> <span class="LPAREN">(</span><span class="STRUCT">struct</span><span class="EOL">
 </span>  <span id="def_6"><span class="MODULE">module</span> <span class="UIDENT">Obj</span> <span class="EQUAL">=</span> <span class="STRUCT">struct</span><span class="EOL">
-</span>    <span class="LET">let</span> <span id="def_1"><span class="LIDENT">close_tag_closed</span></span> <span class="EQUAL">=</span> <span class="STRING">&quot; &gt;&quot;</span><span class="EOL">
+</span>    <span class="LET">let</span> <spa

Julow

(rule (with-stdout-to "x.gen" (echo "toto")))

(rule
 (alias bench)
 (action
  (diff promoted x.gen)))

Julow

(* The Computer Language Benchmarks Game
 * https://salsa.debian.org/benchmarksgame-team/benchmarksgame/
 *
 * Contributed by Troestler Christophe
 * Modified by Fabrice Le Fessant
 * *reset*
 *)

open Domainslib

Julow

pkgs/*

Julow

function selectText(element)
{
    if(document.body.createTextRange) // ie
    {
        var range = document.body.createTextRange();

        range.moveToElementText(element);
        range.select();
    }
    else if(window.getSelection)