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

2 jobs for docs in 70 minutes and 39 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #166984
docker
build_linux_36

01:10:39

72.0%
passed #166985
macosx
build_macosx_36

00:02:58