README for the planet stub.

2010-06-11 15:55:00 -04:00 · 2010-06-11 15:55:00 -04:00 · b866ea4de6
commit b866ea4de6
parent 81f262c7ca
1 changed files with 7 additions and 0 deletions
--- a/collects/meta/web/stubs/planet.rkt
+++ b/collects/meta/web/stubs/planet.rkt
@ -8,3 +8,10 @@
        #:extra-headers "{{{HEAD}}}"]{
    @; This is a stub page to get the header for planet
    {{{BODY}}}})
+
+(define readme
+  @plain[#:file "README"]{
+    This directory contains files that are placed here automatically by
+    the web build process.  The HTML file contains holes to be filled in
+    for the title, header, and body, and the other files are resources
+    that are used by the template.})