Generate index.html because GitHub Pages won't render an RST file.