".$attributes["name"]."\n"; listdocuments($rpdir, "doc/$dir", $attributes); }