diff options
Diffstat (limited to 'bin/reproducible_html_specs.sh')
| -rwxr-xr-x | bin/reproducible_html_specs.sh | 4 |
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" |