From b27e7774af037bfd2af71291a10325f0756909bc Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 23 May 2019 20:42:49 +0200
Subject: [PATCH] Travis: install dot for doxygen generation

---
 travis/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/build.sh b/travis/build.sh
index 6e3094549..d01d67690 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -40,7 +40,7 @@ linux)
     # Install doxygen if necessary
     if [[ "$TASK" == *Doxygen* ]]
     then
-        docker exec storm apt-get install -qq -y doxygen
+        docker exec storm apt-get install -qq -y doxygen dot
     fi
     # Copy local content into container
     docker exec storm mkdir /opt/storm