diff options
Diffstat (limited to 'build-scripts/make-distfiles')
-rwxr-xr-x | build-scripts/make-distfiles | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-scripts/make-distfiles b/build-scripts/make-distfiles index 26ef161d..f30f4595 100755 --- a/build-scripts/make-distfiles +++ b/build-scripts/make-distfiles @@ -4,7 +4,8 @@ set -ex sudo apt-get update sudo apt-get -y install \ autoconf build-essential zlib1g-dev libjpeg-dev \ - docbook-xsl fop xsltproc libxml2-utils inkscape imagemagick + 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 |