From 024da6549386438b8fd2b912781dd256ef0bc3e8 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Thu, 20 Sep 2007 20:43:36 +0000 Subject: [PATCH] Fixed fetching of uninstalled manual in Help Desk. svn: r7392 --- collects/help/private/manuals.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/help/private/manuals.ss b/collects/help/private/manuals.ss index 9d2321e129..f0d08eeca5 100644 --- a/collects/help/private/manuals.ss +++ b/collects/help/private/manuals.ss @@ -171,7 +171,8 @@ (a ((mzscheme ,(to-string/escape-quotes `((dynamic-require '(lib "refresh-manuals.ss" "help") 'refresh-manuals) - (list (cons (bytes->path ,(path->bytes manual)) + (list (cons ((dynamic-require '(lib "refresh-manuals.ss" "help") 'bytes-to-path) + ,(path->bytes manual)) ,name)))))) ,name) ,(if (and manual-path