type xml_kind = Body | Type;;
let mk_dtdname ~ask_dtd_to_the_getter dtd =
if ask_dtd_to_the_getter then
- Configuration.getter_url ^ "getdtd?uri=" ^ dtd
+ Helm_registry.get "getter.url" ^ "getdtd?uri=" ^ dtd
else
"http://mowgli.cs.unibo.it/dtd/" ^ dtd
;;