Fixed fetching of uninstalled manual in Help Desk.

svn: r7392
This commit is contained in:
Jens Axel Soegaard 2007-09-20 20:43:36 +00:00
parent 0026912589
commit 024da65493

View File

@ -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