tree 5cc6d1b20f4339657bf07bdd13fdbe8be78c262d
parent c264949fffd9beb9244942e9da74090b98e76139
author Davide Pesavento <davidepesa@gmail.com> 1619412146 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1619412146 -0400

build: make graphviz optional for building documentation

Change-Id: Iae7a83691b40c5778b08428c4fb71ddf563288bc