From 1ed8ddd251d05f906fa4df2b33b2c698e8fbf8d3 Mon Sep 17 00:00:00 2001
From: patrick96 <p.ziegler96@gmail.com>
Date: Fri, 14 Dec 2018 10:38:40 +0100
Subject: [PATCH] travis: Disable doc generation

Travis doesn't have sphinx installed by default and it's also the wrong
version for our documentation
---
 common/travis/configure.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/travis/configure.sh b/common/travis/configure.sh
index eb609236..1965a2a7 100755
--- a/common/travis/configure.sh
+++ b/common/travis/configure.sh
@@ -29,4 +29,5 @@ cmake \
   -DCMAKE_CXX_FLAGS="${CXXFLAGS}" \
   -DCMAKE_BUILD_TYPE="${BUILD_TYPE}" \
   -DBUILD_TESTS:BOOL="${BUILD_TESTS:-OFF}" \
+  -DBUILD_DOC:BOOL="${BUILD_DOC:-OFF}" \
   "${FLAGS[@]}" ..