From 425977652415171cdd05ece02be3bb0b84b3f1e5 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 2 Aug 2016 14:58:36 +0200 Subject: Install dependencies for docs. --- scripts/install_deps.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'scripts/install_deps.sh') diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh index 865242c6..bf9bd9b2 100755 --- a/scripts/install_deps.sh +++ b/scripts/install_deps.sh @@ -202,6 +202,7 @@ case $(uname -s) in # Install "normal packages" sudo apt-get -y update sudo apt-get -y install \ + python-sphinx \ build-essential \ cmake \ g++ \ @@ -306,6 +307,7 @@ case $(uname -s) in sudo apt-get -y update sudo apt-get -y install \ + python-sphinx \ build-essential \ cmake \ git \ -- cgit