From 64158fac0493153bdae15d8911708807697d216a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 11 Jun 2010 15:01:05 -0400 Subject: [PATCH] Added license page, courtesy of Sam. --- collects/meta/web/download/download-pages.rkt | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/collects/meta/web/download/download-pages.rkt b/collects/meta/web/download/download-pages.rkt index ce0cdfaa37..0a478b106f 100644 --- a/collects/meta/web/download/download-pages.rkt +++ b/collects/meta/web/download/download-pages.rkt @@ -1,6 +1,6 @@ #lang at-exp s-exp "shared.rkt" -(require "data.rkt" "installer-pages.rkt") +(require "data.rkt" "installer-pages.rkt" "../stubs/pre.rkt") (provide render-download-page) @@ -18,6 +18,10 @@ (equal? package (installer-package i)))) (installer->page i 'render-option))} @input[type: 'submit value: "Download" onclick: "do_jump();"] + @|br hr| + @div[align: "center"]{ + @small{@license @nbsp @bull @nbsp @pre-installers}} + @hr @div[id: "linux_explain" style: '("font-size: 75%; display: none; width: 28em;" " margin-top: 1ex; text-align: center;")]{ @@ -33,6 +37,18 @@ (equal? package (installer-package i)))) @li{@(installer->page i 'only-platform)})}}}) +(define license + @page[#:title "Software License"]{ + @p{Racket is distributed under the + @a[href: "http://www.gnu.org/copyleft/lesser.html"]{ + GNU Lesser General Public License (LGPL)}. + This means that you can link parts of Racket (such as racket or gracket) + into proprietary applications, provided that you follow the specific + rules stated in the LGPL. You can also modify Racket software; if you + distribute a modified version, you must distribute it under the terms of + the LGPL, which in particular means that you must release the source + code for the modified Racket software.}}) + (define downloader-script @script/inline[type: 'text/javascript]{@|| var do_jump, selection_changed;