$(per_user_settings.dbm_dir)/servers.txt $(per_user_settings.cache_dir)/cic_library $(per_user_settings.cache_dir)/nuprl_library $(per_user_settings.cache_dir)/rdf_library /projects/helm/xml/dtd $(per_user_settings.dbm_dir)/cic_db $(per_user_settings.dbm_dir)/nuprl_db $(per_user_settings.dbm_dir)/rdf_db $(per_user_settings.dbm_dir)/xsl_db gz index.txt rdf_index.txt xslt_index.txt http://mowgli.cs.unibo.it/dtd 58081