From 9a4d3534a10ce1984567a4f79b70cfa2aa024676 Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Fri, 16 Oct 2020 13:14:10 -0400
Subject: Split distfiles into a separate job

---
 build-scripts/make-distfiles | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 build-scripts/make-distfiles

(limited to 'build-scripts/make-distfiles')

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
-- 
cgit v1.2.3-54-g00ecf