change Scribble HTML button to set current-directory while running

Closes PR 10944 Merge to v5.0
2010-05-31 14:02:42 -06:00 · 2010-05-31 14:02:42 -06:00 · 7a2ac10e0f
commit 7a2ac10e0f
parent c18603f767
1 changed files with 2 additions and 1 deletions
--- a/collects/scribble/tools/drracket-buttons.rkt
+++ b/collects/scribble/tools/drracket-buttons.rkt
@ -30,11 +30,12 @@
             (parameterize ([current-namespace (make-base-namespace)]
                            [current-output-port p]
                            [current-error-port p]
+                            [current-directory base]
                            [current-command-line-arguments
                             (list->vector 
                              (append
                               extra-cmdline
-                               (list "--dest" (path->string base) "--quiet")
+                               (list "--quiet")
                               (list mode (if (path? fn) (path->string fn) fn))))])
               (namespace-attach-module (namespace-anchor->empty-namespace anchor) 'setup/xref)
               (dynamic-require 'scribble/run #f)