<!ELEMENT configuration (helm_dir, dtd_dir, servers_file, uris_dbm, dest,
indexname, tmpdir, helm_url_path,
getheader_url, style_url, webeq_url, webeqp_url,
<!ELEMENT configuration (helm_dir, dtd_dir, servers_file, uris_dbm, dest,
indexname, tmpdir, helm_url_path,
getheader_url, style_url, webeq_url, webeqp_url,