Add a HTML documentation.