diff --git a/collects/meta/web/www/all.rkt b/collects/meta/web/www/all.rkt index 7d26713cdd..3018456f20 100644 --- a/collects/meta/web/www/all.rkt +++ b/collects/meta/web/www/all.rkt @@ -1,5 +1,5 @@ #lang racket/base (require "index.rkt" "download.rkt" "community.rkt" "learning.rkt" "help.rkt" - "new-name.rkt" "guidelines.rkt") + "new-name.rkt" "guidelines.rkt" "web-copyright.rkt") (provide (rename-out [index main]) download community learning help) diff --git a/collects/meta/web/www/web-copyright.rkt b/collects/meta/web/www/web-copyright.rkt new file mode 100644 index 0000000000..ba713e1217 --- /dev/null +++ b/collects/meta/web/www/web-copyright.rkt @@ -0,0 +1,12 @@ +#lang meta/web + +(require "resources.rkt") + +(provide web-copyright) +(define web-copyright + @page{ + The text of this website is available for modification and reuse + under the terms of the Creative Commons Attribution-Sharealike 3.0 + Unported License and the GNU Free Documentation + License (unversioned, with no invariant sections, front-cover texts, + or back-cover texts).})