diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh index 193d6ed9a4614894d5d7daecf0c3ee4fbaf9db5c..f18312e5492cbbba3b3e8138dd22596119b4029b 100755 --- a/bin/build-src-distrib.sh +++ b/bin/build-src-distrib.sh @@ -450,8 +450,8 @@ function add_downloads { run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/$TARGZ_FILENAME" # API - run "cp $OUT_DIR/frama-c-api.tar.gz $DOWNLOAD_DIR/frama-c-api-$FRAMAC_VERSION_AND_CODENAME.tar.gz" - run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/frama-c-api-$FRAMAC_VERSION_AND_CODENAME.tar.gz" + run "cp $OUT_DIR/frama-c-api.tar.gz $DOWNLOAD_DIR/frama-c-$FRAMAC_VERSION_AND_CODENAME-api.tar.gz" + run "git -C $WEBSITE_DIR add $DOWNLOAD_PATH/frama-c-$FRAMAC_VERSION_AND_CODENAME-api.tar.gz" } function fill_website {