Add template file for tweaked docs.

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)

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

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)

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")

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"))