diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-08-25 12:57:34 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-25 12:57:34 +0200 |
| commit | e5519b0acec3c251721ab384cace5149e5dc3d35 (patch) | |
| tree | 1ddcb5a9ab23db4cfeb804581d3dc9495061863c | |
| parent | 65c765b37deedbbbf5ee9f622b0851b6aab64c8a (diff) | |
| download | jenkins.debian.net-e5519b0acec3c251721ab384cace5149e5dc3d35.tar.xz | |
reproducible: whitespace cleanup
| -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" - - |