diff options
| -rw-r--r-- | doxygen/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index 895bc651696..f62fa7661ab 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -87,7 +87,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)","") |