diff options
Diffstat (limited to 'build-scripts/prebuild')
-rwxr-xr-x | build-scripts/prebuild | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/build-scripts/prebuild b/build-scripts/prebuild index 76f9bf6d..1ba3e3c4 100755 --- a/build-scripts/prebuild +++ b/build-scripts/prebuild @@ -1,12 +1,4 @@ #!/bin/bash cd $(dirname $0)/.. -set -ex -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 sphinx_rtd_theme -./configure --enable-doc-maintenance -make -j$(nproc) build_manual -zip -r doc.zip doc/*html doc/*.pdf +build-scripts/build-doc build-scripts/download-external-libs |