Also generate all-in-one HTML file, `all.html`.