diff options
Diffstat (limited to 'build-scripts/prebuild')
-rwxr-xr-x | build-scripts/prebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-scripts/prebuild b/build-scripts/prebuild index f8d1f61b..76f9bf6d 100755 --- a/build-scripts/prebuild +++ b/build-scripts/prebuild @@ -5,7 +5,7 @@ sudo apt-get update sudo apt-get -y install \ autoconf build-essential zlib1g-dev libjpeg-dev \ python3-pip texlive-latex-extra latexmk inkscape imagemagick -pip3 install sphinx +pip3 install sphinx sphinx_rtd_theme ./configure --enable-doc-maintenance make -j$(nproc) build_manual zip -r doc.zip doc/*html doc/*.pdf |