diff options
Diffstat (limited to 'bin/reproducible_html_howto.sh')
-rwxr-xr-x | bin/reproducible_html_howto.sh | 24 |
1 files changed, 24 insertions, 0 deletions
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 <mattia@mapreri.org> +# 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" + + |