noahstorym
2021-11-7 10:29:50
Hello everyone, I wonder how to update the local search manuals
after modifying the scribble files?
laurent.orseau
2021-11-7 11:21:14
Did you do raco setup <collection>
?
laurent.orseau
2021-11-7 11:21:48
Sometimes an additional raco setup --doc-index
fixes the index of the documentation
noahstorym
2021-11-7 11:28:42
It works. Thank you!
noahstorym
2021-11-7 11:41:36
I noticed that the search bar at the top left of the local document does not work
For example, if I opened the graph document: file:///home/noah/.racket/8.3/pkgs/graph-doc/graph/doc/graph/index.html
then searched for json
in the search bar, and I would jump to this link: file:///home/noah/.racket/8.3/pkgs/graph-doc/graph/doc/search/index.html?q=json
instead of file:///home/noah/.racket/8.3/doc/search/index.html?q=json