How to add a search box to a scrrible document

Questions & Answers
,
1

Hello everyone, I am making study notes with scrrible. I hope the notes can be searched, just like Racket documents. How to do that?

2

The search box appears when you are use #lang scribble/manual.
Note that the search is not a full-text search.

3

I've been using #lang scribble/manual, but I've never seen the search box.
Do you want me to take a screenshot to show you?

1 Like
4

It's not as wasy as I remembered it:

1 Like
5

Thanks to your kindness and thanks to the community, this problem is solved