> BTW, could anyone direct me to how index is built/generated ? I hope it is > not manual work. I have something in mind I wish to explore.
`koch docs` builds the documentation. The index is eventually generated by a
command like
nim buildIndex -o:html/theindex.html destPath
Where `destPath` contains the `.idx` files.
