tree f49325127f5424ee4c18fdee7dfd4aa50b77e335
parent cad94b025540a80277c4ee7ac673358a19f19f6b
author Davide Pesavento <davidepesa@gmail.com> 1618548172 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1618548172 -0400

build: make graphviz optional for building documentation

Change-Id: Icff993cccc675c95cd6f671cd217c74d7768fac9