Run coqc before coqdoc.
Very basic index.
Read metadata in Coq files in form of comments.
Learned about .metadata files.