diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh index d60f1e1b1b48013f55a3facbfca08bbfa065a250..8ceb99b2c3c710d4fe4fbfa41c7a5f52e224cc7f 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 {