Skip to content

Latest commit

 

History

History
 
 

rdom-search-docs

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

rdom-search-docs

Live demo

@thi.ng/rdom based docstring search example for the entire thi.ng/umbrella repo (currently ~22k results and 1600+ source files indexed).

IMPORTANT: The search index will be dynamically loaded from the docs.thi.ng website. It's a binary file created by this tool script and encoded with msgpack.

Building

Please refer to the example build instructions on the wiki.

Authors

  • Karsten Schmidt

License

© 2020 Karsten Schmidt // Apache Software License 2.0