From e5519b0acec3c251721ab384cace5149e5dc3d35 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 25 Aug 2015 12:57:34 +0200 Subject: reproducible: whitespace cleanup --- bin/reproducible_html_specs.sh | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'bin/reproducible_html_specs.sh') 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" - - -- cgit v1.2.3-54-g00ecf