Add index.html -> doc/index.html