From 65e72fd71ef207f0236a8fac2e1e10eccba56e08 Mon Sep 17 00:00:00 2001
From: patrick96 <p.ziegler96@gmail.com>
Date: Tue, 30 Apr 2019 21:54:01 +0200
Subject: [PATCH] travis: Build documentation

---
 .travis.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 52d7b3eb..ae63407f 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -39,6 +39,20 @@ script: source ${TRAVIS_BUILD_DIR}/common/travis/build.sh
 
 matrix:
   include:
+    # Only builds the documentation
+    - language: generic
+      # Doesn't actually do anything, just used for the indicator on travis
+      compiler: Sphinx
+      addons: {apt: {packages: [python3-sphinx]}}
+      before_script:
+        - mkdir -p doc/build
+        - cd doc/build
+        - cmake ..
+      script: make doc
+      # Disable unnecessary commands
+      install:
+      cache:
+
     - compiler: clang
       env: BUILD_TYPE=Release
       addons: {apt: {packages: [*base_deps, *optional_deps]}}