Add a {{{HEAD}}} hole to the planet template.

2010-06-10 00:08:45 -04:00 · 2010-06-10 00:08:45 -04:00 · 42e66e35eb
commit 42e66e35eb
parent e24d11a03c
1 changed files with 2 additions and 1 deletions
--- 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}}}})