diff options
Diffstat (limited to 'build-scripts/make-distfiles')
-rwxr-xr-x | build-scripts/make-distfiles | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build-scripts/make-distfiles b/build-scripts/make-distfiles new file mode 100755 index 00000000..6a074aee --- /dev/null +++ b/build-scripts/make-distfiles @@ -0,0 +1,8 @@ +#!/bin/bash +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 +./configure --enable-doc-maintenance +make -j$(nproc) distfiles.zip |