[hcoop/domtool2.git] / configDefault / domtool.cfs

val libRoot : string
(* Basis library root directory *)

val resultRoot : string
(* Root directory for a directory hierarchy corresponding to domain structure,
 * where each node contains Domtool-generated result files for that domain. *)
Commit	Line	Data
d189ec0e AC	1	val libRoot : string
d189ec0e AC	2	(* Basis library root directory *)
095de39e AC	3
	4	val resultRoot : string
	5	(* Root directory for a directory hierarchy corresponding to domain structure,
	6	* where each node contains Domtool-generated result files for that domain. *)
d189ec0e	7