diff --git a/collects/meta/web/download/index.rkt b/collects/meta/web/download/index.rkt index 5b2d0ccdb4..92257519c3 100644 --- a/collects/meta/web/download/index.rkt +++ b/collects/meta/web/download/index.rkt @@ -7,6 +7,7 @@ (define docs (symlink (in-ftp "docs"))) (define installers (symlink (in-ftp "installers"))) +(define libs (symlink (in-ftp "libs"))) (define stubs (symlink "/www/stubs")) (provide index) @@ -19,4 +20,5 @@ @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}).} + @li{Binary @a[href: libs]{libraries} mainly for GRacket.}}})