From 92bdd31ef609d3cd2b9339d32c1aced834daba85 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 12 Oct 2020 13:59:14 +0200
Subject: [PATCH] Travis: another fix in installation of dependencies

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

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index 80af5ed..1c0a019 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -74,7 +74,7 @@ run() {
   then
     # Install dependencies for documentation
     apt-get install -qq -y pandoc
-    pip install -e ".[doc]"
+    pip install -e ".[doc,numpy]"
     # Generate documentation
     cd doc
     make html