From 7a2ac10e0fdb760ad7461918f0d00ed30244a704 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 31 May 2010 14:02:42 -0600 Subject: [PATCH] change Scribble HTML button to set current-directory while running Closes PR 10944 Merge to v5.0 --- collects/scribble/tools/drracket-buttons.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/tools/drracket-buttons.rkt b/collects/scribble/tools/drracket-buttons.rkt index f2911c946e..884f303e51 100644 --- 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)