sig
  val software_version : string
  val glade_dir : string
  val glade_file : string
  val dtd_dir : string
  val db_dtd_file : string
end