update documentation.html