tree 0ae57f7ab1de305bd4d74721b4db4a5cc37322b5
parent 7249fb4d5225cbe99a3901f9485a8ad99a7abceb
author Davide Pesavento <davidepesa@gmail.com> 1618554611 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1618554611 -0400

build: make graphviz optional for building documentation

Change-Id: I5434bbef22c840341623bff16f9e8de129249be2