diff --git a/collects/meta/web/download/index.rkt b/collects/meta/web/download/index.rkt index 9d338023e5..a1efab105d 100644 --- a/collects/meta/web/download/index.rkt +++ b/collects/meta/web/download/index.rkt @@ -1,6 +1,6 @@ #lang at-exp s-exp "shared.rkt" -(require racket/string "data.rkt") +(require racket/string "data.rkt" "../www/download.rkt") (define (in-ftp . paths) (string-join (cons "/var/ftp/pub/racket" paths) "/")) @@ -10,10 +10,12 @@ (provide index) (define index - (page #:link-title "Downloads" + @page[#:link-title "Downloads"]{ + @div[style: "float: right;"]{@download-button} + Use these links to browse the download directories directly: @ul{@li{Current @a[href: `(,installers "/recent")]{installers} (or @a[href: installers]{all versions}).} @li{Current documentation in @a[href: `(,docs "/recent/html")]{HTML} and in @a[href: `(,docs "/recent/pdf")]{PDF} - (or @a[href: docs]{all versions}).}})) + (or @a[href: docs]{all versions}).}}})