HELM_CONFIGURATION_PREFIX added to OCaml files

[helm.git] / helm / interface / pxpUriResolver.ml

diff --git a/helm/interface/pxpUriResolver.ml b/helm/interface/pxpUriResolver.ml
index b5b37f3985c4459d11637c404ee94b6f2567ded4..6ebbf71bd4bf02165b140e00dc7cd292e4734578 100644 (file)
--- a/helm/interface/pxpUriResolver.ml
+++ b/helm/interface/pxpUriResolver.ml
@@ -11,11 +11,11 @@
 let resolve =
  function
     "http://localhost:8081/getdtd?url=cic.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/cic.dtd"
+     Configuration.dtd_dir ^ "/cic.dtd"
   | "http://localhost:8081/getdtd?url=maththeory.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/maththeory.dtd"
+     Configuration.dtd_dir ^ "/maththeory.dtd"
   | "http://localhost:8081/getdtd?url=annotations.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/annotations.dtd"
+     Configuration.dtd_dir ^ "/annotations.dtd"
   | s  -> s
 ;;