Re-generate the HTML documents