From d211804c3f897b2a8c8e78c772945efa1f9c476e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 30 Jan 2012 12:26:45 -0500 Subject: [PATCH] The "libs" files are now under a "tags" subdirectory. (Related to the server auto-publishing new tags and branches, configured to do that in "~ftp/pub/racket/libs/{heads,tags}" respectively.) --- collects/meta/web/download/index.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/meta/web/download/index.rkt b/collects/meta/web/download/index.rkt index 92257519c3..e31189341a 100644 --- a/collects/meta/web/download/index.rkt +++ b/collects/meta/web/download/index.rkt @@ -7,7 +7,7 @@ (define docs (symlink (in-ftp "docs"))) (define installers (symlink (in-ftp "installers"))) -(define libs (symlink (in-ftp "libs"))) +(define libs (symlink (in-ftp "libs/tags") "libs")) (define stubs (symlink "/www/stubs")) (provide index) @@ -21,4 +21,5 @@ @a[href: `(,docs "/recent/html")]{HTML} and in @a[href: `(,docs "/recent/pdf")]{PDF} (or @a[href: docs]{all versions}).} - @li{Binary @a[href: libs]{libraries} mainly for GRacket.}}}) + @li{Binary @a[href: libs]{libraries} mainly for GRacket + (installed during the build process).}}})