summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_html_specs.sh2
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"