Fix doc's index to show properly in bob/docs

Merged Amir MOHAMMADI requested to merge docs into master

Merge request reports