diff options
Diffstat (limited to 'doxygen')
| -rw-r--r-- | doxygen/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index 471b6fd7f15..895bc651696 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -87,6 +87,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 |