diff --git a/collects/meta/web/download/download-pages.rkt b/collects/meta/web/download/download-pages.rkt index 0a478b106f..86e51c3a28 100644 --- a/collects/meta/web/download/download-pages.rkt +++ b/collects/meta/web/download/download-pages.rkt @@ -1,6 +1,7 @@ #lang at-exp s-exp "shared.rkt" -(require "data.rkt" "installer-pages.rkt" "../stubs/pre.rkt") +(require "data.rkt" "installer-pages.rkt" + (prefix-in pre: "../stubs/pre.rkt")) (provide render-download-page) @@ -20,7 +21,7 @@ @input[type: 'submit value: "Download" onclick: "do_jump();"] @|br hr| @div[align: "center"]{ - @small{@license @nbsp @bull @nbsp @pre-installers}} + @small{@license @nbsp @bull @nbsp @pre:installers}} @hr @div[id: "linux_explain" style: '("font-size: 75%; display: none; width: 28em;" diff --git a/collects/meta/web/stubs/pre.rkt b/collects/meta/web/stubs/pre.rkt index f4c926b6b6..b3bb506c90 100644 --- a/collects/meta/web/stubs/pre.rkt +++ b/collects/meta/web/stubs/pre.rkt @@ -17,8 +17,8 @@ (define version-hole @div[align: 'right]{@small{@i{@(hole "VERSION")}}}) -(provide pre-root) -(define pre-root +(provide index) +(define index @page[#:file "" #:title "Prebuilt materials"]{ @p{This directory contains Racket material that is built daily from the development repository. See below for instructions.} diff --git a/collects/meta/web/www/community.rkt b/collects/meta/web/www/community.rkt index 533dbca684..38892e4143 100644 --- a/collects/meta/web/www/community.rkt +++ b/collects/meta/web/www/community.rkt @@ -2,7 +2,8 @@ (require "people.rkt" "irc.rkt" "../minis/lists.rkt" - "../stubs/blog.rkt" "../stubs/git.rkt" "../stubs/pre.rkt") + "../stubs/blog.rkt" "../stubs/git.rkt" + (prefix-in pre: "../stubs/pre.rkt")) (provide community) (define community @@ -15,7 +16,7 @@ @parlist[@strong{Development} @text{@git (also available on @a[href: "http://github.com/plt/racket/"]{GitHub})} - @text{@pre-installers and @|pre-root|.} + @text{@pre:installers and @|pre:index|.} ;;TODO: proper reference @a[href: "http://download.racket-lang.org/chronology/"]{ Release Announcements}