find-relevant-directories: fix 'no-user mode

This commit is contained in:
Matthew Flatt 2013-07-17 17:25:30 -06:00
parent 8f195a1ff6
commit 7a8b2e333b

View File

@ -211,8 +211,7 @@
(cons (build-path coll "info-domain" "compiled" "cache.rktd") (cons (build-path coll "info-domain" "compiled" "cache.rktd")
coll)) coll))
(if (eq? key 'no-user) (if (eq? key 'no-user)
(remove* (get-main-collects-search-dirs) (get-main-collects-search-dirs)
(current-library-collection-paths))
(current-library-collection-paths))) (current-library-collection-paths)))
(map (lambda (base) (map (lambda (base)
(cons (build-path base "info-cache.rktd") (cons (build-path base "info-cache.rktd")