[hcoop/zz_old/domtool2-proto.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
17ef447e	1	val libRoot : string
17ef447e	2	(* Basis library root directory *)
51c32b45	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. *)
17ef447e	7