From 36916619f0b07b4412df5a96683579552dd96285 Mon Sep 17 00:00:00 2001 From: Jay Berkenbilt Date: Tue, 21 Dec 2021 09:23:20 -0500 Subject: Stop adding pre-built documentation to the source distribution --- build-scripts/prebuild | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'build-scripts/prebuild') 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 -- cgit v1.2.3-54-g00ecf