summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_html_specs.sh7
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/reproducible_html_specs.sh b/bin/reproducible_html_specs.sh
index fb50ae79..15aa7b46 100755
--- a/bin/reproducible_html_specs.sh
+++ b/bin/reproducible_html_specs.sh
@@ -12,7 +12,8 @@ common_init "$@"
# build and publish the html version
VERSION=$(git log -1 --pretty='%h')
SPEC=$1
+TARGET="specs/$SPEC"
make $SPEC.html
-mkdir -pv "$BASE/specs/$SPEC"
-mv -v $SPEC.html "$BASE/specs/$SPEC/index.html"
-irc_message "$REPRODUCIBLE_URL/specs/$SPEC/ updated to $VERSION"
+mkdir -pv "$BASE/$TARGET"
+mv -v $SPEC.html "$BASE/$TARGET/index.html"
+irc_message "$REPRODUCIBLE_URL/$TARGET/ updated to $VERSION"