]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_common.ml
URL patching in ENTITY declarations extended to cover also absolute URLs.
[helm.git] / helm / ocaml / getter / http_getter_common.ml
index ed9410007617f618470f948f0de54f4ce233741a..62a52c792f1713b9f152881421b889a1d76f46dd 100644 (file)
@@ -79,7 +79,8 @@ let patch_xsl line =
   patch_include (patch_import line)
 let patch_dtd line =
   Pcre.replace
-    ~pat:"ENTITY (.*) SYSTEM\\s+\""
+    ~pat:(sprintf "ENTITY (.*) SYSTEM\\s+\"(%s/)?"
+      (Lazy.force Http_getter_env.dtd_base_url))
     ~templ:(sprintf "ENTITY $1 SYSTEM \"%s/getdtd?uri="
       (Lazy.force Http_getter_env.my_own_url))
     line