fix keep-file -- it should be a render-element

svn: r10787

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

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