-let resolve s =
- let starts_with s s' =
- if String.length s < String.length s' then
- false
- else
- (String.sub s 0 (String.length s')) = s'
- in
- if starts_with s "http:" then
- ClientHTTP.get_and_save_to_tmp s
- else
- s
+let resolve =
+ function
+ "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