diff --git a/collects/meta/web/common/links.rkt b/collects/meta/web/common/links.rkt index 6136312853..0f184af9f4 100644 --- a/collects/meta/web/common/links.rkt +++ b/collects/meta/web/common/links.rkt @@ -8,8 +8,6 @@ ;; ---------------------------------------------------------------------------- ;; Pages that are made outside of this system -(define* -planet @make-link["http://planet.racket-lang.org/"]{PLaneT}) - (define doc-url "http://docs.racket-lang.org/") (define* -docs @make-link[doc-url]{Documentation}) diff --git a/collects/meta/web/config.rkt b/collects/meta/web/config.rkt index 86b84d61ff..a189b2a180 100644 --- a/collects/meta/web/config.rkt +++ b/collects/meta/web/config.rkt @@ -2,15 +2,17 @@ (provide sites) (define sites - '(("www" "http://racket-lang.org/") - ("download" "http://download.racket-lang.org/") - ("stubs/pre" "http://pre.racket-lang.org/") - ("stubs/git" "http://git.racket-lang.org/") - ("stubs/blog" "http://blog.racket-lang.org/"))) + '(("www" "http://racket-lang.org/") + ("download" "http://download.racket-lang.org/") + ("stubs/planet" "http://planet.racket-lang.org/") + ("stubs/pre" "http://pre.racket-lang.org/") + ("stubs/git" "http://git.racket-lang.org/") + ("stubs/blog" "http://blog.racket-lang.org/"))) (provide distributions) (define distributions ;; 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" "www" "download"))) + '(["champlain:/www" "www" "download"] + ["winooski:~wwwplanet/html-template/" "stubs/planet/"])) ; note "/"s diff --git a/collects/meta/web/navbar.rkt b/collects/meta/web/navbar.rkt index 8d6b5bc8f9..13f4018a84 100644 --- a/collects/meta/web/navbar.rkt +++ b/collects/meta/web/navbar.rkt @@ -1,5 +1,5 @@ #lang at-exp s-exp "common.rkt" -(require "www/main.rkt" "download/main.rkt") -(set-navbar! (list main download -docs -planet community outreach+research) +(require "www/main.rkt" "download/main.rkt" "stubs/planet.rkt") +(set-navbar! (list main download -docs planet community outreach+research) help) diff --git a/collects/meta/web/stubs/planet.rkt b/collects/meta/web/stubs/planet.rkt new file mode 100644 index 0000000000..21cb39dfcd --- /dev/null +++ b/collects/meta/web/stubs/planet.rkt @@ -0,0 +1,9 @@ +#lang at-exp s-exp "../common.rkt" + +(define-context "stubs/planet") + +(provide planet) +(define planet + (page #:file "" #:link-title "PLaneT" #:window-title "{{{TITLE}}}" + ;; This is a stub page to get the header for planet + "{{{BODY}}}"))