diff options
| -rwxr-xr-x | bin/reproducible_html_howto.sh | 9 | ||||
| -rwxr-xr-x | bin/reproducible_html_specs.sh | 9 |
2 files changed, 2 insertions, 16 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" - - 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" - - |