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