diff --git a/collects/scribble/base-render.ss b/collects/scribble/base-render.ss index 6797e1a837..96e23f0c82 100644 --- a/collects/scribble/base-render.ss +++ b/collects/scribble/base-render.ss @@ -16,7 +16,10 @@ (init-field dest-dir [refer-to-existing-files #f] - [root-path #f]) + [root-path #f] + [prefix-file #f] + [style-file #f] + [style-extra-files null]) (define/public (get-dest-directory [create? #f]) (when (and dest-dir create? (not (directory-exists? dest-dir))) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 43d204f08c..062e0236fd 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -236,15 +236,13 @@ format-number quiet-table-of-contents extract-part-style-files) + (inherit-field prefix-file style-file style-extra-files) (init-field [css-path #f] ;; up-path is either a link "up", or #t which uses ;; goes to start page (using cookies to get to the ;; user start page) [up-path #f] - [prefix-file #f] - [style-file #f] - [style-extra-files null] [script-path #f] [script-file #f] [search-box? #f]) diff --git a/collects/scribble/text-render.ss b/collects/scribble/text-render.ss index 906d426dac..9773f55fe1 100644 --- a/collects/scribble/text-render.ss +++ b/collects/scribble/text-render.ss @@ -6,9 +6,6 @@ (define (render-mixin %) (class % - (init [prefix-file #f] - [style-file #f] - [style-extra-files ()]) (define/override (get-substitutions) '((#rx"---" "\U2014")