diff --git a/pkgs/plt-services/meta/pkg-index/official/s3.rkt b/pkgs/plt-services/meta/pkg-index/official/s3.rkt index d168bb3ce9..fc7f50b41a 100644 --- a/pkgs/plt-services/meta/pkg-index/official/s3.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/s3.rkt @@ -16,6 +16,9 @@ (gzip (format "~a/pkgs-all.json" static-path) (format "~a/pkgs-all.json.gz" static-path)) + (delete-file (format "~a/pkgs-all.json" static-path)) + (delete-file (format "~a/pkgs-all" static-path)) + (system* s3cmd-path "-c" s3-config "sync" @@ -35,8 +38,6 @@ (format "~a/" static-path) (format "s3://~a/" s3-bucket)) - - (void)) (define (upload-pkgs pkgs)