From b866ea4de69729b85375e64769b98995d7c3a780 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 11 Jun 2010 15:55:00 -0400
Subject: [PATCH] README for the planet stub.

---
 collects/meta/web/stubs/planet.rkt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/collects/meta/web/stubs/planet.rkt b/collects/meta/web/stubs/planet.rkt
index 672d7ee249..39b465b14a 100644
--- 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.})