Also generate all-in-one HTML file, `all.html`.
Merge branch 'master' into gh-pages

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