doxygen has added an option GRAPHVIZ. Since DOCS requires graphviz, please annotate that DOCS requires GRAPHVIZ. POLA shows that unchecking GRAPHVIZ and having graphviz installed anyway is a bad idea.