(* Root directory for a directory hierarchy corresponding to domain structure,
* where each node contains Domtool-generated result files for that domain. *)
(* Root directory for a directory hierarchy corresponding to domain structure,
* where each node contains Domtool-generated result files for that domain. *)