diff options
Diffstat (limited to 'bin/reproducible_html_specs.sh')
| -rwxr-xr-x | bin/reproducible_html_specs.sh | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/bin/reproducible_html_specs.sh b/bin/reproducible_html_specs.sh index dafd06f3..aeec187c 100755 --- a/bin/reproducible_html_specs.sh +++ b/bin/reproducible_html_specs.sh @@ -7,19 +7,12 @@ 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') SPEC=$1 - make html - mkdir -pv "$BASE/specs/$1" - mv -v html/* "$BASE/specs/$1" - irc_message "$REPRODUCIBLE_URL/specs/$1 updated to $VERSION" - - |