diff --git a/collects/help/private/manuals.ss b/collects/help/private/manuals.ss index b1bcb7c67b..9d2321e129 100644 --- a/collects/help/private/manuals.ss +++ b/collects/help/private/manuals.ss @@ -255,12 +255,11 @@ (list "[" `(a ((mzscheme - ; TODO: The path->bytes is rewritten as path->bytes - ; by xexpr->string (somewehere in the web-server) - ; Figure out how to avoid it. ,(to-string/escape-quotes `((dynamic-require '(lib "refresh-manuals.ss" "help") 'refresh-manuals) - (list (cons (bytes->path ,(path->bytes manual-name)) ,name)))))) + (list (cons ((dynamic-require '(lib "refresh-manuals.ss" "help") 'bytes-to-path) + ,(path->bytes manual-name)) + ,name)))))) ,(string-constant plt:hd:refresh)) "]" 'nbsp) (list))))] diff --git a/collects/help/refresh-manuals.ss b/collects/help/refresh-manuals.ss index d4cfefa215..e4c31fb3a6 100644 --- a/collects/help/refresh-manuals.ss +++ b/collects/help/refresh-manuals.ss @@ -12,7 +12,9 @@ (lib "port.ss") (lib "thread.ss")) - (provide refresh-manuals) + (provide refresh-manuals + bytes-to-path) + (define sc-refreshing-manuals (string-constant plt:hd:refreshing-manuals)) (define sc-refresh-downloading... (string-constant plt:hd:refresh-downloading...)) @@ -75,6 +77,9 @@ (unless success? (delete-local-plt-files tmp-directory)) (kill-thread thd))))])) + + ; needed in "../private/manuals.ss" due to links with > getting mangled + (define bytes-to-path bytes->path) (define (make-local-doc-filename tmp-dir stub) (build-path tmp-dir (format "~a-doc.plt" stub)))