doxyfile uses dot graph tool