Update web.js to output index.html.
Update index.html.