remove generated HTML

We will provide it in the gh-pages branch, though.