summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_html_specs.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_html_specs.sh b/bin/reproducible_html_specs.sh
index befba68b..fb50ae79 100755
--- a/bin/reproducible_html_specs.sh
+++ b/bin/reproducible_html_specs.sh
@@ -14,5 +14,5 @@ VERSION=$(git log -1 --pretty='%h')
SPEC=$1
make $SPEC.html
mkdir -pv "$BASE/specs/$SPEC"
-mv -v html/* "$BASE/specs/$SPEC"
-irc_message "$REPRODUCIBLE_URL/specs/$SPEC updated to $VERSION"
+mv -v $SPEC.html "$BASE/specs/$SPEC/index.html"
+irc_message "$REPRODUCIBLE_URL/specs/$SPEC/ updated to $VERSION"