(* *)
(******************************************************************************)
-val helm_dir : string
-val dtd_dir : string
-val style_dir : string
-val servers_file : string
-val uris_dbm : string
-val dest : string
-val indexname : string
-val tmp_dir : string
-val helm_dir : string
+(* Zack: no longer needed *)
+(* val tmp_dir : string *)
val getter_url : string
val processor_url : string
val annotations_dir : string