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.})