autogen top-level index.html