renamed documentation.html into index.html