let build_dot_project filename title project = let file = open_out filename in PrintProjGraph.output_graph file (title, project); close_out file