diff options
Diffstat (limited to 'build-scripts/make-distfiles')
-rwxr-xr-x | build-scripts/make-distfiles | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/build-scripts/make-distfiles b/build-scripts/make-distfiles deleted file mode 100755 index f30f4595..00000000 --- a/build-scripts/make-distfiles +++ /dev/null @@ -1,11 +0,0 @@ -#!/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) distfiles.zip -build-scripts/download-external-libs |