configDefault/domtool.cfs

   1 val libRoot : string
   2 (* Basis library root directory *)
   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. *)
   7