Regenerating the HTML documentation.