From d74685066499c262f74e107d157ce19ed577514a Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 26 Feb 2013 07:36:02 -0500
Subject: [PATCH] Add template file for tweaked docs.

---
 collects/meta/web/all.rkt           |  2 +-
 collects/meta/web/common/layout.rkt |  2 +-
 collects/meta/web/config.rkt        |  1 +
 collects/meta/web/stubs/all.rkt     |  5 +++--
 collects/meta/web/stubs/docs.rkt    | 11 +++++++++++
 5 files changed, 17 insertions(+), 4 deletions(-)
 create mode 100644 collects/meta/web/stubs/docs.rkt

diff --git a/collects/meta/web/all.rkt b/collects/meta/web/all.rkt
index b5d291ebd7..8b50d015d8 100644
--- a/collects/meta/web/all.rkt
+++ b/collects/meta/web/all.rkt
@@ -1,5 +1,5 @@
 #lang meta/web
 
 (require "www/all.rkt" "download/all.rkt" "minis/all.rkt" "stubs/all.rkt")
-(set-navbar! (list main download -docs planet community learning)
+(set-navbar! (list main download documentation planet community learning)
              main help)
diff --git a/collects/meta/web/common/layout.rkt b/collects/meta/web/common/layout.rkt
index 9736679ce3..a2a97930e7 100644
--- a/collects/meta/web/common/layout.rkt
+++ b/collects/meta/web/common/layout.rkt
@@ -125,7 +125,7 @@
   (define pages-promise
     (lazy (car (or (unbox navbar-info)
                    (error 'navbar "no navbar info set")))))
-  (define top-promise  (lazy (cadr (unbox navbar-info))))
+  (define top-promise  (lazy (cadr  (unbox navbar-info))))
   (define help-promise (lazy (caddr (unbox navbar-info))))
   (define pages-parts-of-promise
     (lazy (map pages->part-of (force pages-promise))))
diff --git a/collects/meta/web/config.rkt b/collects/meta/web/config.rkt
index 0cc64d61e1..90a3d958bc 100644
--- a/collects/meta/web/config.rkt
+++ b/collects/meta/web/config.rkt
@@ -15,6 +15,7 @@
     ("stubs/blog"    "http://blog.racket-lang.org/"     abs)
     ("stubs/mailman" "http://lists.racket-lang.org/"    abs)
     ("stubs/dirlist" "http://download.racket-lang.org/" abs)
+    ("stubs/docs"    "http://docs.racket-lang.org/"     abs)
     ("stubs/wiki"    "http://wiki.racket-lang.org/"     abs)))
 
 (provide distributions)
diff --git a/collects/meta/web/stubs/all.rkt b/collects/meta/web/stubs/all.rkt
index 60c32ecdcb..ee25c0ca8c 100644
--- a/collects/meta/web/stubs/all.rkt
+++ b/collects/meta/web/stubs/all.rkt
@@ -1,8 +1,9 @@
 #lang racket/base
 
-(provide planet)
+(provide documentation planet)
 
-(require "planet.rkt" "blog.rkt"      ; these need to be copied to the service
+(require "docs.rkt"                   ; for the doc tweaking script
+         "planet.rkt" "blog.rkt"      ; these need to be copied to the service
          "pre.rkt" "git.rkt"          ; / these are used on the
          "mailman.rkt" "dirlist.rkt"  ; \ server directly
          "wiki.rkt")
diff --git a/collects/meta/web/stubs/docs.rkt b/collects/meta/web/stubs/docs.rkt
new file mode 100644
index 0000000000..133b0d0c93
--- /dev/null
+++ b/collects/meta/web/stubs/docs.rkt
@@ -0,0 +1,11 @@
+#lang meta/web
+
+(require (prefix-in www: (only-in "../www/resources.rkt" the-resources)))
+
+(define-context "stubs/docs" #:resources www:the-resources)
+
+(provide documentation)
+(define documentation
+  ;; This is a stub page to get the header for tweaked doc pages
+  (page #:file "" #:link-title "Documentation" #:window-title "{{{TITLE}}}"
+        "\n{{{BODY}}}\n"))