diff --git a/collects/meta/web/common/distribute.rkt b/collects/meta/web/common/distribute.rkt index f23f53ce34..fdf2db3d17 100644 --- a/collects/meta/web/common/distribute.rkt +++ b/collects/meta/web/common/distribute.rkt @@ -9,9 +9,21 @@ (unless (apply system* (force rsync-exe) args) (error 'distribute "errors when running: rsync with ~s" args))) +(define (flatten-path path) + (define m (regexp-match #rx"^(.*?)/\\*(/.*|$)$" path)) + (if m + (append-map + flatten-path + (sort (map (λ(p) (string-append + (cadr m) "/" (path-element->string p) (caddr m))) + (directory-list (cadr m))) + string