Release script now generates the HTML documentation