diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index eab3042e42..a6b729511f 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -181,9 +181,10 @@ (make-paragraph (list (script-ref "plt-index.js" - #:noscript @list{Sorry, you must have JavaScript to use this page.}) + #:noscript + @list{Sorry, you must have JavaScript to use this page.}) (script-ref "search.js") - (make-render-element (make-with-attributes #f '((id . "plt_search_container"))) - null - (lambda (r s i) - (make-script user-dir? r s i)))))) + (make-render-element + (make-with-attributes #f '((id . "plt_search_container"))) + null + (lambda (r s i) (make-script user-dir? r s i)))))) diff --git a/collects/scribblings/quick/keep.ss b/collects/scribblings/quick/keep.ss index 6fce403cc2..53f5466fa7 100644 --- a/collects/scribblings/quick/keep.ss +++ b/collects/scribblings/quick/keep.ss @@ -6,9 +6,7 @@ (provide keep-file) (define (keep-file file) - (make-delayed-element - (lambda (render part ri) - (send render install-file file) - null) - (lambda () 0) - (lambda () (make-element #f (list))))) + (make-render-element + (make-element #f (list)) + null + (lambda (r s i) (send r install-file file))))