The navbar also uses the download page.

(This leaves the toplevel download page unlinked (as expected), so it's
required explicitly.)
This commit is contained in:
Eli Barzilay 2010-06-07 13:34:50 -04:00
parent 81a9bbafd6
commit 225c94cca6
3 changed files with 3 additions and 4 deletions

View File

@ -1,4 +1,3 @@
#lang at-exp s-exp "shared.rkt"
(require "index.rkt")
(provide (rename-out [index download]))

View File

@ -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"

View File

@ -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)