diff --git a/collects/setup/scribble.ss b/collects/setup/scribble.ss index cbca2cfa3a..2af3bba7d0 100644 --- a/collects/setup/scribble.ss +++ b/collects/setup/scribble.ss @@ -554,7 +554,8 @@ (let ([dir (doc-dest-dir doc)]) (unless (directory-exists? dir) (make-directory dir)) (for ([f (directory-list dir)] - #:when (regexp-match? #"[.](?:html|png|js)$" (path-element->bytes f))) + #:when (not (regexp-match? #"[.]sxref$" + (path-element->bytes f)))) (delete-file (build-path dir f))))) (render-time "render"