X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0d2ce07081a4aab6cb062ddb75ed040f542fc137..d189ec0eee8569e5811335e7fc93a921e14c2b1f:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index 7d9aecc..f8a2aec 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -1,3 +1,7 @@ -val configRoot : string +val libRoot : string +(* Basis library root directory *) + +val resultRoot : string (* Root directory for a directory hierarchy corresponding to domain structure, - * where each node contains files related to that domain's configuration. *) + * where each node contains Domtool-generated result files for that domain. *) +