manual-defaults.rkt (1014B)
1 #lang scheme/base 2 (require scribble/core 3 scribble/html-properties 4 "defaults.rkt" 5 "on-demand.rkt") 6 7 (provide post-process 8 manual-doc-style) 9 10 (define (post-process doc) 11 (add-defaults doc 12 (scribble-file "manual-prefix.tex") 13 (scribble-file "manual-style.tex") 14 null 15 #:html (html-defaults (scribble-file "scribble-prefix.html") 16 (scribble-file "manual-style.css") 17 (list 18 (scribble-file "manual-fonts.css"))) 19 #:properties (list 20 (css-style-addition 21 (scribble-file "manual-racket.css")) 22 (js-style-addition 23 (scribble-file "manual-racket.js"))) 24 #t)) 25 26 (define-on-demand manual-doc-style 27 (part-style (post-process (part #f null #f plain null null null))))