Commit c9f0142f authored by Gérard Huet's avatar Gérard Huet

Tentative global url with http

parent c2cabd11
......@@ -740,7 +740,7 @@ value title_instructions =
;
value doctype = "<!DOCTYPE html>" (* Assuming HTML5 *)
;
value url dns = (* Paths.server_protocol ^ "://" ^ *) dns
value url dns = (* Paths.server_protocol *) "http://" ^ dns
;
value ocaml_site = url "ocaml.org"
and inria_site = url "www.inria.fr/"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment