Add index.html to redirect to doc/