Install dependencies for docs.

2023-10-03 13:03:40 +00:00 · 2016-08-02 14:58:40 +02:00
parent 2e174e1d19
commit 4259776524
2 changed files with 3 additions and 1 deletions
@@ -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 \