From debf564189a28669b6b2fe86865093819d57883f Mon Sep 17 00:00:00 2001 From: Shuhei Kadowaki Date: Tue, 21 Jul 2020 17:24:41 +0900 Subject: [PATCH] update doc regeneration message --- src/docs.jl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/docs.jl b/src/docs.jl index ae47cad2..b4a4b7dd 100644 --- a/src/docs.jl +++ b/src/docs.jl @@ -49,8 +49,9 @@ function processdocs(items) errstr = sprint(showerror, items.err) err = startswith(errstr, "Please regenerate the") ? """ - Please regenerate the documentation cache with the button above. - Note that this might take minutes. You can track the progress with the progress bar + Please regenerate the documentation cache with the ↻ button above. + Note that you need to add Docseeker.jl package in your environment (i.e. `] pkg> add DocSeeker`) in advance + and caching might take minutes. You can track the progress with the progress bar in the lower left corner, and should be able to use Juno normally during that time. """ : errstr Dict(