make sure search pages are installed with scheme.css

svn: r15621
This commit is contained in:
Matthew Flatt 2009-07-29 15:54:18 +00:00
parent 970a796bc6
commit 2e8de6467a
4 changed files with 11 additions and 6 deletions

View File

@ -40,7 +40,7 @@
;; the second argument specifies installation/user specific, and if
;; it's missing, then it's a page with a single version
(define (main-page id [installation-specific? '?])
(define (main-page id [installation-specific? '?] #:force-scheme-css? [force-scheme-css? #f])
(define info (page-info id))
(define title-string (car info))
(define root (cadr info))
@ -53,9 +53,8 @@
(define page-title
(title #:style (make-style #f (cons
'no-toc
(if user-doc?
(if (not force-scheme-css?)
null
;; Ensure that "scheme.css" gets installed in the shared location:
(list
(make-css-addition (build-path (collection-path "scribble")
"scheme.css"))))))

View File

@ -2,6 +2,8 @@
@(require "private/utils.ss"
"private/make-search.ss")
@main-page['search #t]
@main-page['search #t
;; "scheme.css" needs to be installed for search results:
#:force-scheme-css? #t]
@make-search[#f]

View File

@ -3,7 +3,9 @@
"private/utils.ss"
"private/manuals.ss")
@main-page['start #t]
@main-page['start #t
;; "scheme.css" needs to be installed so it can be shared:
#:force-scheme-css? #t]
@margin-note{
@not-on-the-web{

View File

@ -2,6 +2,8 @@
@(require "../private/utils.ss"
"../private/make-search.ss")
@main-page['search #f]
@main-page['search #f
;; "scheme.css" needs to be installed for search results:
#:force-scheme-css? #t]
@make-search[#t]