Type checking ./A/fully/Qualified/NAME.idr
IdrisDoc file written
Type checking ./B.idr
A.fully.Qualified.NAME.html
B.html
A.fully.Qualified.NAME is in the index
B is in the index