diff --git a/collects/meta/web/config.rkt b/collects/meta/web/config.rkt index a676bfa92b..86b84d61ff 100644 --- a/collects/meta/web/config.rkt +++ b/collects/meta/web/config.rkt @@ -13,4 +13,4 @@ ;; Each is a "hostname:dest-path", and then a list of directories to ;; put in that path. (Warning: "dest" should not be a top-level ;; directory that already exists.) - '(("champlain:/www/new" "www" "download"))) + '(("champlain:/www" "www" "download"))) diff --git a/collects/meta/web/download/main.rkt b/collects/meta/web/download/main.rkt index c6ebc5ac7c..ef45b69681 100644 --- a/collects/meta/web/download/main.rkt +++ b/collects/meta/web/download/main.rkt @@ -1,4 +1,4 @@ -#lang at-exp s-exp "../common.rkt" +#lang at-exp s-exp "shared.rkt" (require "index.rkt") (provide (rename-out [index download])) diff --git a/collects/meta/web/www/main.rkt b/collects/meta/web/www/main.rkt index 8357a814bc..5cbe90a4dd 100644 --- a/collects/meta/web/www/main.rkt +++ b/collects/meta/web/www/main.rkt @@ -1,4 +1,4 @@ -#lang at-exp s-exp "../common.rkt" +#lang at-exp s-exp "shared.rkt" (require "index.rkt" "community.rkt" "outreach+research.rkt" "help.rkt" "new-name.rkt")