Update of documentation
Add HTML version of documentation