diff --git a/collects/setup/scribble.ss b/collects/setup/scribble.ss index 8e93c0ca8c..88f371a69a 100644 --- a/collects/setup/scribble.ss +++ b/collects/setup/scribble.ss @@ -363,6 +363,8 @@ (set-info-time! info (/ (current-inexact-milliseconds) 1000)) (void))))))))) + (define orig-namespace (current-namespace)) + (define (dynamic-require-doc path) ;; Use a separate namespace so that we don't end up with all the documentation ;; loaded at once. @@ -372,11 +374,11 @@ [c (make-custodian)] [ch (make-channel)]) (parameterize ([current-custodian c]) - (namespace-attach-module (current-namespace) '(lib "base-render.ss" "scribble") p) - (namespace-attach-module (current-namespace) '(lib "html-render.ss" "scribble") p) + (namespace-attach-module orig-namespace '(lib "base-render.ss" "scribble") p) + (namespace-attach-module orig-namespace '(lib "html-render.ss" "scribble") p) ;; This is here for de-serialization; we need a better repair than ;; hard-wiring the "manual.ss" library: - (namespace-attach-module (current-namespace) '(lib "manual.ss" "scribble") p) + (namespace-attach-module orig-namespace '(lib "manual.ss" "scribble") p) (parameterize ([current-namespace p]) (call-in-nested-thread (lambda ()