X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FpxpUriResolver.ml;h=ad8713cf371031a911c5cbc88795fc5651e78e4c;hb=2540cc551ae097178c7e11ec578b58977a35bd3b;hp=b5b37f3985c4459d11637c404ee94b6f2567ded4;hpb=c01d2aaea05f7385bee46addd900cd0397756389;p=helm.git

diff --git a/helm/interface/pxpUriResolver.ml b/helm/interface/pxpUriResolver.ml
index b5b37f398..ad8713cf3 100644
--- a/helm/interface/pxpUriResolver.ml
+++ b/helm/interface/pxpUriResolver.ml
@@ -10,12 +10,12 @@
 
 let resolve =
  function
-    "http://localhost:8081/getdtd?url=cic.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/cic.dtd"
-  | "http://localhost:8081/getdtd?url=maththeory.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/maththeory.dtd"
-  | "http://localhost:8081/getdtd?url=annotations.dtd" ->
-     "/home/pauillac/coq3/sacerdot/HELM/INTERFACE/examples/dtd/annotations.dtd"
+    "http://localhost:8081/getdtd?uri=cic.dtd" ->
+     Configuration.dtd_dir ^ "/cic.dtd"
+  | "http://localhost:8081/getdtd?uri=maththeory.dtd" ->
+     Configuration.dtd_dir ^ "/maththeory.dtd"
+  | "http://localhost:8081/getdtd?uri=annotations.dtd" ->
+     Configuration.dtd_dir ^ "/annotations.dtd"
   | s  -> s
 ;;