diff options
Diffstat (limited to 'build-scripts/prebuild')
-rwxr-xr-x | build-scripts/prebuild | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/build-scripts/prebuild b/build-scripts/prebuild new file mode 100755 index 00000000..f8d1f61b --- /dev/null +++ b/build-scripts/prebuild @@ -0,0 +1,12 @@ +#!/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 +./configure --enable-doc-maintenance +make -j$(nproc) build_manual +zip -r doc.zip doc/*html doc/*.pdf +build-scripts/download-external-libs |