diff options
Diffstat (limited to 'scripts/install_deps.sh')
| -rwxr-xr-x | scripts/install_deps.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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 \ |