summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doxygen/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile
index ef52c493020..954191eb75c 100644
--- a/doxygen/Makefile
+++ b/doxygen/Makefile
@@ -113,7 +113,8 @@ 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 \
+ @if [ ! -s /usr/lib/graphviz/config6a ]; then \
+ echo "Rebuidlding system Graphviz configuration."; \
sudo dot -c; \
fi
else ifneq ("$(wildcard /etc/redhat-release)","")