diff options
| author | Chris Lamb <lamby@debian.org> | 2015-08-30 15:19:28 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-30 19:01:53 +0200 |
| commit | d7aef43a9d78857ae3412cf57107988356dfdb1b (patch) | |
| tree | f4a718768325ae7faf1399008ee282a25be826fc | |
| parent | 7262da921c0f4e0a3cd09e9a84e641cb340ec26c (diff) | |
| download | jenkins.debian.net-d7aef43a9d78857ae3412cf57107988356dfdb1b.tar.xz | |
b/reproducible_html_specs: Drop -spec suffix from target
For example
https://reproducible-builds.org/specs/source-date-epoch/
vs
https://reproducible-builds.org/specs/source-date-epoch-spec/
There is already a namespace of /specs/ so the suffix is unnecessary.
Signed-off-by: Chris Lamb <lamby@debian.org>
| -rwxr-xr-x | bin/reproducible_html_specs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_html_specs.sh b/bin/reproducible_html_specs.sh index 15aa7b46..c8956a2c 100755 --- a/bin/reproducible_html_specs.sh +++ b/bin/reproducible_html_specs.sh @@ -12,7 +12,7 @@ common_init "$@" # build and publish the html version VERSION=$(git log -1 --pretty='%h') SPEC=$1 -TARGET="specs/$SPEC" +TARGET="specs/$(basename $SPEC -spec)" make $SPEC.html mkdir -pv "$BASE/$TARGET" mv -v $SPEC.html "$BASE/$TARGET/index.html" |