diff options
Diffstat (limited to 'bin/reproducible_html_howto.sh')
| -rwxr-xr-x | bin/reproducible_html_howto.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/bin/reproducible_html_howto.sh b/bin/reproducible_html_howto.sh index e143ca64..5af2bdbc 100755 --- a/bin/reproducible_html_howto.sh +++ b/bin/reproducible_html_howto.sh @@ -6,18 +6,11 @@ DEBUG=false . /srv/jenkins/bin/common-functions.sh common_init "$@" - . /srv/jenkins/bin/reproducible_common.sh - +# build and publish the html version 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" - - |