From e9cd5b256716abe0580950111aa61f267874d499 Mon Sep 17 00:00:00 2001 From: Mattia Rizzolo Date: Wed, 5 Aug 2015 18:09:42 +0000 Subject: reproducible: add a job to build+publish the reproducible builds howto --- bin/reproducible_html_howto.sh | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 bin/reproducible_html_howto.sh (limited to 'bin/reproducible_html_howto.sh') diff --git a/bin/reproducible_html_howto.sh b/bin/reproducible_html_howto.sh new file mode 100755 index 00000000..e850e1c9 --- /dev/null +++ b/bin/reproducible_html_howto.sh @@ -0,0 +1,24 @@ +#!/bin/bash + +# Copyright © 2015 Mattia Rizzolo +# released under the GPLv=2 + +DEBUG=false +. /srv/jenkins/bin/common-functions.sh +common_init "$@" + +. /srv/jenkins/bin/reproducible_common.sh + +set -e + +VERSION=$(git log -1 --pretty='%h') + +make html + +mkdir -pv "$BASE/howto/" + +mv -v html/* "$BASE/howto" + +irc_message "$REPRODUCIBLE_URL/howto updated to $VERSION" + + -- cgit v1.2.3-54-g00ecf