From 42e66e35ebb6eba755d3be3c3c0f7a5366e614dd Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 10 Jun 2010 00:08:45 -0400
Subject: [PATCH] Add a {{{HEAD}}} hole to the planet template.

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

diff --git a/collects/meta/web/stubs/planet.rkt b/collects/meta/web/stubs/planet.rkt
index a5f3a25a86..672d7ee249 100644
--- a/collects/meta/web/stubs/planet.rkt
+++ b/collects/meta/web/stubs/planet.rkt
@@ -4,6 +4,7 @@
 
 (provide planet)
 (define planet
-  @page[#:file "" #:link-title "PLaneT" #:window-title "{{{TITLE}}}"]{
+  @page[#:file "" #:link-title "PLaneT" #:window-title "{{{TITLE}}}"
+        #:extra-headers "{{{HEAD}}}"]{
     @; This is a stub page to get the header for planet
     {{{BODY}}}})