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"
+
+