From 225c94cca6c96e26a3fc91d3c0efe74eca2220a3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 7 Jun 2010 13:34:50 -0400 Subject: [PATCH] The navbar also uses the download page. (This leaves the toplevel download page unlinked (as expected), so it's required explicitly.) --- collects/meta/web/download/main.rkt | 1 - collects/meta/web/www/download.rkt | 2 +- collects/meta/web/www/main.rkt | 4 ++-- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/collects/meta/web/download/main.rkt b/collects/meta/web/download/main.rkt index ef45b69681..36ce50b8cf 100644 --- a/collects/meta/web/download/main.rkt +++ b/collects/meta/web/download/main.rkt @@ -1,4 +1,3 @@ #lang at-exp s-exp "shared.rkt" (require "index.rkt") -(provide (rename-out [index download])) diff --git a/collects/meta/web/www/download.rkt b/collects/meta/web/www/download.rkt index ea71d986cb..90a4ffd024 100644 --- a/collects/meta/web/www/download.rkt +++ b/collects/meta/web/www/download.rkt @@ -2,7 +2,7 @@ (require "../download/download-pages.rkt") -(provide download-button) +(provide download-button download) (define download (page #:link-title "Download" #:window-title "Download Racket" diff --git a/collects/meta/web/www/main.rkt b/collects/meta/web/www/main.rkt index 5cbe90a4dd..c31e38d576 100644 --- a/collects/meta/web/www/main.rkt +++ b/collects/meta/web/www/main.rkt @@ -1,5 +1,5 @@ #lang at-exp s-exp "shared.rkt" -(require "index.rkt" "community.rkt" "outreach+research.rkt" +(require "index.rkt" "download.rkt" "community.rkt" "outreach+research.rkt" "help.rkt" "new-name.rkt") -(provide (rename-out [index main]) community outreach+research help) +(provide (rename-out [index main]) download community outreach+research help)