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