manually resolving conflict with doc/html/index.html