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