raco setup: fix problem with info-domain clean-up

This commit is contained in:
Matthew Flatt 2013-07-11 07:46:11 -06:00
parent ad86a72143
commit 75cb619866

View File

@ -1058,13 +1058,15 @@
(when (file-exists? info-path)
(get-info-ht c info-path 'relative))))
(unless (avoid-main-installation)
(define info-path (build-path (find-lib-dir) "info-cache.rktd"))
(define info-root (find-lib-dir))
(define info-path (build-path info-root "info-cache.rktd"))
(when (file-exists? info-path)
(get-info-ht #f info-path 'abs-in-relative)))
(get-info-ht info-root info-path 'abs-in-relative)))
(when (make-user)
(define info-path (build-path (find-user-lib-dir) "info-cache.rktd"))
(define info-root (find-user-lib-dir))
(define info-path (build-path info-root "info-cache.rktd"))
(when (file-exists? info-path)
(get-info-ht #f info-path 'abs-in-relative))
(get-info-ht info-root info-path 'abs-in-relative))
(define planet-info-path (get-planet-cache-path))
(when (file-exists? planet-info-path)
(get-info-ht #f info-path 'abs))))