From 2ede99a36af94b36bf52ee09b82c343c8cc6d69b Mon Sep 17 00:00:00 2001
From: Gilles Louppe <g.louppe@gmail.com>
Date: Thu, 21 Apr 2016 14:29:48 +0200
Subject: [PATCH] Update travis-deploy.sh

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

diff --git a/ci/travis-deploy.sh b/ci/travis-deploy.sh
index ae7f0b0..26bd153 100644
--- a/ci/travis-deploy.sh
+++ b/ci/travis-deploy.sh
@@ -3,7 +3,7 @@ echo "Running deployment script..."
 
 # Generating documentation
 cd ~
-pip install pdoc==0.3.2
+pip install pdoc==0.3.2 pygments
 pdoc --html --html-dir ./doc --template-dir ${TRAVIS_BUILD_DIR}/ci/templates carl
 
 # Copying to github pages