I am working on a website using django. I have a documentation section with plain HTML files (i.e. not related to the django databases, just text). Those files have been converted from LaTeX to HTML.
I would like to add a search bar into my documentation so the user can search a word to get some kind of help, for example by:
- highlighting the word in the text,
- returning a list of urls of the pages where the word occur,
- telling me how many times this word occur in each section of the table of content,
- ...
I've been searching on the web for a while be could not find anything on how I could do this. I would appreciate any help/tips.
Thanks in advance.