Re-generated the HTML documentation