#lang at-exp s-exp "shared.rkt"

(require racket/string "data.rkt")

(define (in-ftp . paths)
  (string-join (cons "/var/ftp/pub/racket" paths) "/"))

(define docs       (symlink  (in-ftp "docs")))
(define installers (symlink  (in-ftp "installers")))

(provide index)
(define index
  (page #:link-title "Downloads"
    @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}).}}))

#lang at-exp s-exp "shared.rkt"

(require racket/string "data.rkt" "../www/download.rkt")

(define (in-ftp . paths)
  (string-join (cons "/var/ftp/pub/racket" paths) "/"))

(define docs       (symlink  (in-ftp "docs")))
(define installers (symlink  (in-ftp "installers")))

(provide index)
(define index
  @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}).}}})

Put a download button on the toplevel download page too.
Put a download button on the toplevel download page too.

The download toplevel is not meant to be part of the web, but people
will still get there -- so be nice.
