(** all *_dir values are returned with trailing "/" *)
val cache_dir : string lazy_t (* cache root *)
-val dtd_dir : string lazy_t (* DTDs' root directory *)
+val dtd_dir : string option lazy_t (* DTDs' root directory *)
val port : int lazy_t (* port on which getter listens *)
val dtd_base_urls : string list lazy_t (* base URLs for document patching *)
val prefixes : (string * (string * prefix_attr list)) list lazy_t
current http_getter settings on an output
channel *)
+val get_dtd_dir : unit -> string
+