made "dtd_dir" optional, is needed only by the web server, not by matita

[helm.git] / helm / ocaml / getter / http_getter_common.ml

diff --git a/helm/ocaml/getter/http_getter_common.ml b/helm/ocaml/getter/http_getter_common.ml
index a29a44de2f19706ce96468d57f0cc5b833a08cd9..ddce33f5dbcc9e126f9e3b5f131f75e6e66b98ce 100644 (file)
--- a/helm/ocaml/getter/http_getter_common.ml
+++ b/helm/ocaml/getter/http_getter_common.ml
@@ -84,8 +84,7 @@ let patch_system kind ?(via_http = true) () =
       sprintf "%s $1 SYSTEM \"%s/getdtd?uri=" kind
         (Lazy.force Http_getter_env.my_own_url)
     else
-      sprintf "%s $1 SYSTEM \"file://%s/" kind
-        (Lazy.force Http_getter_env.dtd_dir)
+      sprintf "%s $1 SYSTEM \"file://%s/" kind (Http_getter_env.get_dtd_dir ())
   in
   fun line -> Pcre.replace ~rex ~templ line