diff options
| -rw-r--r-- | doxygen/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index b75c9c6bdb3..ef52c493020 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -113,6 +113,9 @@ ifeq ($(OS_ID),ubuntu) dpkg-query --show $$i >/dev/null 2>&1 || inst="$$inst $$i"; \ done; \ if [ "$$inst" ]; then sudo apt-get $(CONFIRM) $(FORCE) install $$inst; fi + @if [ ! -f /usr/lib/graphviz/config6a ]; then \ + sudo dot -c; \ + fi else ifneq ("$(wildcard /etc/redhat-release)","") @sudo yum install $(CONFIRM) $(DOC_RPM_DEPENDS) else |