raco setup: flush loaded "info-domain" when info is updated

Fixes problems updating user-specific documentation on a
package install, for example.
This commit is contained in:
Matthew Flatt 2012-12-05 08:25:06 -06:00
parent 64f0273829
commit 62019bbd0f

View File

@ -970,7 +970,9 @@
(with-output-to-file p #:exists 'truncate/replace
(lambda ()
(write (hash-map ht cons))
(newline))))))))
(newline)))))))
;; Flush cached state in the current namespace:
(reset-relevant-directories-state!))
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Docs ;;