diff --git a/pkgs/plt-services/meta/web/config.rkt b/pkgs/plt-services/meta/web/config.rkt index 425d9d08b4..5ce7108694 100644 --- a/pkgs/plt-services/meta/web/config.rkt +++ b/pkgs/plt-services/meta/web/config.rkt @@ -26,4 +26,4 @@ ;; source, including removing material that is not distributed. A directory ;; can also have "*" parts which will be expanded recursively -- useful to ;; avoid deletions in case a target directory has additional materials. - '(["champlain:/www" "www" "download" "bugs" "lists" "drracket" "stubs"]))) + '(["winooski:/www" "www" "download" "bugs" "lists" "drracket" "stubs"])))